Treffer: Metamathematics of first order arithmetic

Titel:
Metamathematics of first order arithmetic / Petr Hájek ; Pavel Pudlák
Beteiligt:
Hájek, Petr ; Pudlák, Pavel 
Veröffent­licht:
Berlin [u.a.] : Springer, 1993
Umfang:
XIV, 460 S
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Perspectives in mathematical logic
RVK-Notation:
SK 130
Schlagworte:
ISBN:
3540506322 ; 0387506322

Zusatz-Informationen

Zusatz-Funktionen