General recursion theory / Jens E. FENSTAD

Public ISBD Title : General recursion theory : An axiomatic approach Material Type: printed text Authors: Jens E. FENSTAD Publisher: Berlin [etc.] : Springer-Verlag Publication Date: 1980 Series: Perspectives in mathematical logic Pagination: XI, 225 str. Size: 25 cm General note: Pergam ID: MF 3348 Languages : English (eng) Descriptors: Matematika Contents note: Bibliografija: str. 209-216. Registri General recursion theory : An axiomatic approach [printed text] / Jens E. FENSTAD . - Berlin [etc.] : Springer-Verlag, 1980 . - XI, 225 str. ; 25 cm. - (Perspectives in mathematical logic) . Pergam ID: MF 3348 Languages : English (eng) Descriptors: Matematika Contents note: Bibliografija: str. 209-216. Registri

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
25.409	25.409	$r non conforme --	fond	fond	u fondu Available

Metamathematics of first-order arithmetic / Petr HÁJEK

Public ISBD Title : Metamathematics of first-order arithmetic Material Type: printed text Authors: Petr HÁJEK ; Pavel Pudlák Publisher: Berlin [etc.] : Springer-Verlag Publication Date: 1993 Series: Perspectives in mathematical logic Pagination: X, 460 str. Size: 24 cm ISBN (or other code): 978-3-540-50632-4 General note: Pergam ID: MF 160 Languages : English (eng) Descriptors: Matematika Class number: 510.2 Contents note: Bibliografija: str. 409-460 Metamathematics of first-order arithmetic [printed text] / Petr HÁJEK ; Pavel Pudlák . - Berlin [etc.] : Springer-Verlag, 1993 . - X, 460 str. ; 24 cm. - (Perspectives in mathematical logic) . ISBN : 978-3-540-50632-4 Pergam ID: MF 160 Languages : English (eng) Descriptors: Matematika Class number: 510.2 Contents note: Bibliografija: str. 409-460

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
27.782	27.782	$r non conforme --	fond	fond	u fondu Available

---

1 (1 - 2 / 2)