Keywords Search
 Keywords Search :  Record 0 Of 0

Content

Metamathematics of first-order arithematic

Call.No :	QA248 .H3
Record.No :	36239  [Book]
Personal name :	Hajek, Petr
Title :	Metamathematics of first-order arithematic
Publishing :	Berlin, [ Germany ] : Springer-Verlag , 1998
Description :	xiv,460p : 23cm
Series :	Perspectives in Mathematical Logic
Biblio Notes :	Includes index.
Subjects :	Arithmetic - Foundations
Related names :	Pudlak, Pavel

V,P,I,C Title Location     × , × , × , 1   Main Library , 2nd Floor More ...

Attachments