Number of the records: 1

Metamathematics of First-Order Arithmetic

SYSNO	0401861
Title	Metamathematics of First-Order Arithmetic
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Issue data	Berlin: Springer-Verlag, 1993
Edition	Perspectives in Mathematical Logic
ISBN	3-540-50632-2
Document Type	Monografie, kniha (jako celek)
Language	eng
Country	DE
Keywords	mathematical logic
URL	http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Permanent Link	http://hdl.handle.net/11104/0122295

Number of the records: 1