-
Osnove matematične logike. Del 1, SimbolizacijaPrijatelj, NikoType of material - textbook ; adult, seriousEdition - [1. izd.], 3. natisPublication and manufacture - Ljubljana : Društvo matematikov, fizikov in astronomov, 1982Language - slovenianCOBISS.SI-ID - 22270464
Author
Prijatelj, Niko
Topics
Simbolična in matematična logika |
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
Library | Call number – location, accession no. ... | Copy status |
---|---|---|
Faculty of Economics and Business, Maribor | 51 PRIJ o 1 | available - outside loan, loan period: 30 days |
Library of Technical Faculties, Maribor | knjižnica 510 PRIJATELJ N. OSNOVE | available - outside loan, loan period: 1 months |
Library of Technical Faculties, Maribor | knjižnica 510 PRIJATELJ N. Osnove | available - outside loan, loan period: 1 months |
University of Maribor Library | Prosti pristop 2. nad. 510-51 17278/33,3.nat |
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
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.