Online catalogue Библиотека Математичког факултета

Metamathematics of first-order arithmetic / Petr HÁJEK

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

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