-
Osnove matematične logike. Del 1, SimbolizacijaPrijatelj, NikoVrsta gradiva - učbenik ; neleposlovje za odrasleIzdaja - [1. izd.], 2. natisZaložništvo in izdelava - Ljubljana : Društvo matematikov, fizikov in astronomov SR Slovenije, 1982Jezik - slovenskiCOBISS.SI-ID - 1535745
Avtor
Prijatelj, Niko
Teme
Matematika |
Matematična logika |
Simbolizacija |
Učbeniki za visoke šole |
matematika |
matematična logika |
simbolizacija |
izjavni račun |
predikatni račun |
učbeniki za visoke šole |
mathematical logic |
history of logic |
paradox |
antinomy |
true statement |
false statement |
logically true |
logically false |
logically dependent |
logically connective |
truth table |
switch circuit |
logical validity |
logical equivalence |
logical implication |
logical consequence |
individual constant |
individual variable |
predicate |
universal quantifier |
existential quantifier |
function |
formula |
term |
syntactic variable |
first-order language |
axiom system |
proof |
rule of inference |
textbook
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Narodna in univerzitetna knjižnica, Ljubljana | DS I 323522/1 dislocirano skladišče Leskoškova | prosto - za čitalnico |
FMF in IMFM, Matematična knjižnica, Ljubljana | Knjižnica-MAT Logika in teorija množic 4284/33a |
prosto - na dom, čas izposoje: 1 mes. |
FMF in IMFM, Matematična knjižnica, Ljubljana | Knjižnica-MAT Logika in teorija množic 4284/33a 1 |
prosto - na dom, čas izposoje: 1 mes. |
FMF in IMFM, Matematična knjižnica, Ljubljana | Knjižnica-MAT Logika in teorija množic 4284/33a 2 |
prosto - na dom, čas izposoje: 1 mes. |
FMF, Knjižnica za mehaniko, Ljubljana | Skladišče MATEM PRIJATELJ Osnove 1 IN: 0011185 |
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 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.