Počet záznamů: 1

Metamathematics of First-Order Arithmetic

SYSNO	0401861
Název	Metamathematics of First-Order Arithmetic
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Vyd. údaje	Berlin: Springer-Verlag, 1993
Edice	Perspectives in Mathematical Logic
ISBN	3-540-50632-2
Druh dok.	Monografie, kniha (jako celek)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	mathematical logic
URL	http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Trvalý link	http://hdl.handle.net/11104/0122295

Počet záznamů: 1