Osnove matematične logike. Del 2,Formalizacija

(UL)

Osnove matematične logike. Del 2, Formalizacija

Prijatelj, Niko

V 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.

Type of material - textbook ; adult, serious

Publication and manufacture - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1992

Language - slovenian

COBISS.SI-ID - 30593024

Keep searching

Holdings
Availability in other libraries

Library	Call number – location, accession no. ...	Copy status
National and University Library, Ljubljana	DS 342765/2 dislocirano skladišče Leskoškova	available - outside loan, loan period: 30 days
National and University Library, Ljubljana	DS 284134/2 dislocirano skladišče Leskoškova	available - reading room
Central Technological Library of the University of Ljubljana	223862 Skladišče IN: 120051753	available - outside loan, loan period: 14 days
Faculty of Electrical Engineering, Lj.	101 076 2 IN: 0040656	available - outside loan, loan period: 14 days
FSS, J. Goričar Central Social Sciences Library, Ljubljana	II 16768/33 a Closed stacks	available - outside loan, loan period: 1 months
FSS, J. Goričar Central Social Sciences Library, Ljubljana	II 16768/33 d Closed stacks	available - outside loan, loan period: 1 months
FSS, J. Goričar Central Social Sciences Library, Ljubljana	U 51 PRIJATELJ, N. Formalizacija Free access	available - outside loan, loan period: 7 days
FSS, J. Goričar Central Social Sciences Library, Ljubljana	U 51 PRIJATELJ, N. Formalizacija Free access	available - outside loan, loan period: 7 days
FSS, J. Goričar Central Social Sciences Library, Ljubljana	U 51 PRIJATELJ, N. Formalizacija Free access	available - outside loan, loan period: 7 days
FSS, J. Goričar Central Social Sciences Library, Ljubljana	Č 51 PRIJATELJ, N. Formalizacija Free access	available - reading room
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 3	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 1	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 5	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 9	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 2	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 8	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 6	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 4	available - outside loan, loan period: 1 months
FMF, Mathematical Library, Lj.	Knjižnica-MAT Logika in teorija množic 4286/33 7	available - outside loan, loan period: 1 months
Faculty of Education, Lj.	510 FORMALIZACIJA	available - outside loan, loan period: 21 days
Faculty of Education, Lj.	510 FORMALIZACIJA	on loan - outside loan, due date: 26.08.2024 Expected to be available after: 27.08.2024 (1. in queue)

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
Year	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Links to authors' personal bibliographies	Links to information on researchers in the SICRIS system
Prijatelj, Niko	00221

Source: Personal bibliographies and: SICRIS

The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.

Pickup location	Material status	Reservation

Upload image

Shelf entry

Adding material to shelf was successful.

Adding material to shelf failed.

It was not necessary to add the material to the shelf.

Permalink

E-mail

Impact factor

Select the library membership card:

DRS, in which the journal is indexed

Select pickup location:

Material pickup by post

Notification

Citations

Subject headings in COBISS General List of Subject Headings

Select pickup location

Reservation was successful.

Reservation failed.

Reservation...

Bibliographic data

Number of loans

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Theme