Zum Inhalt springen Hájek, Petr [VerfasserIn]; Pudlák, Pavel [VerfasserIn] Metamathematics of first order arithmetic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1993 Erschienen in: Perspectives in mathematical logic Hájek, Petr [VerfasserIn]; Pudlák, Pavel [VerfasserIn] Metamathematics of first-order arithmetic - [2nd printing 1998 of the 1st edition 1993] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Perspectives in mathematical logic
Hájek, Petr [VerfasserIn]; Pudlák, Pavel [VerfasserIn] Metamathematics of first order arithmetic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1993 Erschienen in: Perspectives in mathematical logic
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hájek, Petr [VerfasserIn]; Pudlák, Pavel [VerfasserIn] Metamathematics of first-order arithmetic - [2nd printing 1998 of the 1st edition 1993] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Perspectives in mathematical logic
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (2) Wert ausschließen Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (2) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Hájek, Petr (2) Wert ausschließen Pudlák, Pavel (2) Wert ausschließen zeige weitere weniger zeigen