Osnove matematične logike. Del 3,Aplikacija

FMF, Mathematical Library, Lj. (MAKLJ)

Osnove matematične logike. Del 3, Aplikacija

Prijatelj, Niko

V tem zadnjem poglavju je najprej prikazan razvoj formalne teorije števil prvega reda N in vpeljan je standardni model ▫${\cal N}$▫ teorije N. Zatem so nadrobno obravnavane rekurzivne funkcije in ... relacije. Pokazano je, da so rekurzivne funkcije predstavljive in rekurzivne relacije izrazljive v sestavu N. Aritmezacija sintakse prek Gödlove numeracije je podrobno opisana. Nazadnje so obravnavani oba Gödlova teorema, Churchev teorem in teorem Tarskega.

Type of material - textbook

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

Language - slovenian

ISBN - 961-212-023-4

COBISS.SI-ID - 38560000

Keep searching

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 4286/35 3	available - outside loan, loan period: 1 months
Knjižnica-MAT Logika in teorija množic 4286/35 2	available - outside loan, loan period: 1 months
Knjižnica-MAT Logika in teorija množic 4286/35 4	available - outside loan, loan period: 1 months
Knjižnica-MAT Logika in teorija množic 4286/35 1	available - outside loan, loan period: 1 months
Knjižnica-MAT Logika in teorija množic 4286/35	available - outside loan, loan period: 1 months

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

Reserve material at the desired pickup location.

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