FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)
-
Osnove matematične logike. Del 2, FormalizacijaPrijatelj, NikoV tem delu knjige je predstavljena elementarna teorija izjavnega računa in formalnih sestavov prvega reda. Nadrobno je prikazan sintaktični in semantični razvoj formalnih teorij. Osnovni izidi ... klasične dvovrednostne logike so zajeti v teoremih, ki so utemeljeni z ustreznimi dokazi.Vrsta gradiva - učbenikZaložništvo in izdelava - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1992Jezik - slovenskiCOBISS.SI-ID - 30593024
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana |
prosto - na dom, čas izposoje: 1 mes.
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000006 Knjižnica-MAT Logika in teorija množic 4286/33 6 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000007 Knjižnica-MAT Logika in teorija množic 4286/33 7 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000005 Knjižnica-MAT Logika in teorija množic 4286/33 5 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000004 Knjižnica-MAT Logika in teorija množic 4286/33 4 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000003 Knjižnica-MAT Logika in teorija množic 4286/33 3 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000002 Knjižnica-MAT Logika in teorija množic 4286/33 2 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 Knjižnica-MAT Logika in teorija množic 4286/33 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000001 Knjižnica-MAT Logika in teorija množic 4286/33 1 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000008 Knjižnica-MAT Logika in teorija množic 4286/33 8 |
prosto - na dom, čas izposoje: 1 mes.
|
Knjižnica-MAT Logika in teorija množic 0000004286/0000000033 0000000009 Knjižnica-MAT Logika in teorija množic 4286/33 9 |
prosto - na dom, čas izposoje: 1 mes.
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Prijatelj, Niko | 00221 |
Vir: Osebne bibliografije
in: SICRIS
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Naslov za dostavo:
Med podatki člana manjka naslov.
Storitev za pridobivanje naslova trenutno ni dostopna, prosimo, poskusite še enkrat.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in naslov za dostavo ter dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrani naslov za dostavo in dokončali postopek rezervacije.
Obvestilo
Trenutno je storitev za avtomatsko prijavo in rezervacijo nedostopna. Gradivo lahko rezervirate sami na portalu Biblos ali ponovno poskusite tukaj kasneje.
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.
Mesto prevzema | Status gradiva | Rezervacija |
---|
Rezervacija v teku
Prosimo, počakajte trenutek.
Rezervacija je uspela.
Rezervacija ni uspela.
Rezervacija...
Članska izkaznica:
Mesto prevzema: