-
Osnove matematične logike. Del 1, SimbolizacijaPrijatelj, NikoType of material - textbookEdition - 4. natisPublication and manufacture - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1992Language - slovenianCOBISS.SI-ID - 32082688
Author
Prijatelj, Niko
Topics
matematika |
logika |
zgodovina logike |
paradoks |
povezave izjav |
pravilnostne tabele |
logične ekvivalence |
preklopna vezja |
notranja zgradba izjav |
aksiomski sestavi |
učbeniki za visoke šole |
mathematics |
logic |
history of logic |
paradox |
true statement |
false statement |
logically true |
logically false |
logically dependent |
connective |
truth table |
switch circuit |
logical validity |
logical equivalence |
logical implication |
logical consequence |
individual constant |
individual variable |
predicate |
universal quantifier |
existential quantifier |
formula |
function |
term |
syntactic variable |
first-order language |
axiom system |
proof |
rule of inference |
textbook
Reserve material at the desired pickup location.
Pickup location |
Material status | Reservation |
---|---|---|
FMF, Mathematical Library, Lj. |
available - outside loan, loan period: 1 months
|
Call number – location, accession no. ... |
Copy status |
---|---|
Knjižnica-MAT Logika in teorija množic 0000004284/33c 0000000002 Knjižnica-MAT Logika in teorija množic 4284/33c 2 |
available - outside loan, loan period: 1 months
|
Knjižnica-MAT Logika in teorija množic 0000004284/33c 0000000001 Knjižnica-MAT Logika in teorija množic 4284/33c 1 |
available - outside loan, loan period: 1 months
|
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Prijatelj, Niko | 00221 |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.