> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Metamathematics of first-order arithmetic Beteiligte: Hájek, Petr [VerfasserIn]; Pudlák, Pavel [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Perspectives in mathematical logic Ausgabe: 2nd printing 1998 of the 1st edition 1993 Umfang: XIV, 460 S Sprache: Deutsch; Englisch ISBN: 354063648X RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Peano-Arithmetik > Metamathematik Entstehung: Anmerkungen: Literaturverz. S. [409] - 453