NUK - logo
(UL)
  • 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.
    Vrsta gradiva - učbenik
    Založništvo in izdelava - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1994
    Jezik - slovenski
    ISBN - 961-212-023-4
    COBISS.SI-ID - 38560000

Knjižnica Signatura – lokacija, inventarna št. ... Status izvoda
Narodna in univerzitetna knjižnica, Ljubljana U 342765/3 dodatni izvodi prosto - na dom, čas izposoje: 30 dni
Narodna in univerzitetna knjižnica, Ljubljana UDS 357390/3 dodatni izvodi in učbeniki - dislocirano skladišče prosto - na dom, čas izposoje: 30 dni
Narodna in univerzitetna knjižnica, Ljubljana DS 284134/3 dislocirano skladišče Leskoškova prosto - za čitalnico
Centralna tehniška knjižnica Univerze v Ljubljani 223865 Skladišče
IN: 120051756
prosto - na dom, čas izposoje: 14 dni
Centralna tehniška knjižnica Univerze v Ljubljani 226155 Skladišče
IN: 120062291
prosto - na dom, čas izposoje: 14 dni
Fakulteta za strojništvo, Ljubljana K 510 PRIJATELJ N. Osnove/3
IN: 00039669
prosto - na dom, čas izposoje: 1 mes.
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana II 16768/35 d V skladišču prosto - na dom, čas izposoje: 1 mes.
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana U 51 PRIJATELJ, N. Aplikacija Prosti pristop prosto - na dom, čas izposoje: 7 dni
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana U 51 PRIJATELJ, N. Aplikacija Prosti pristop prosto - na dom, čas izposoje: 7 dni
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana U 51 PRIJATELJ, N. Aplikacija Prosti pristop prosto - na dom, čas izposoje: 7 dni
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana U 51 PRIJATELJ, N. Aplikacija Prosti pristop prosto - na dom, čas izposoje: 7 dni
FDV, Osrednja družboslovna knjižnica J. Goričarja, Ljubljana Č 51 PRIJATELJ, N. Aplikacija Prosti pristop prosto - za čitalnico
FMF in IMFM, Matematična knjižnica, Ljubljana Knjižnica-MAT
Logika in teorija množic
4286/35
prosto - na dom, čas izposoje: 1 mes.
FMF in IMFM, Matematična knjižnica, Ljubljana Knjižnica-MAT
Logika in teorija množic
4286/35 1
prosto - na dom, čas izposoje: 1 mes.
FMF in IMFM, Matematična knjižnica, Ljubljana Knjižnica-MAT
Logika in teorija množic
4286/35 4
prosto - na dom, čas izposoje: 1 mes.
FMF in IMFM, Matematična knjižnica, Ljubljana Knjižnica-MAT
Logika in teorija množic
4286/35 3
prosto - na dom, čas izposoje: 1 mes.
FMF in IMFM, Matematična knjižnica, Ljubljana Knjižnica-MAT
Logika in teorija množic
4286/35 2
prosto - na dom, čas izposoje: 1 mes.
Pedagoška fakulteta, Ljubljana  510 PRIJATELJ, N. Osnove/3 izposojeno - na dom, rok vrnitve: 26.08.2024
Predvidoma na voljo po: 27.08.2024 (1. v čakalni vrsti)
loading ...
loading ...
loading ...