Metamathematics of first order arithmetic / Petr Hájek; Pavel Pudlák

Von:

Hájek, Petr, 1940- [aut]

Mitwirkende(r):

Pudlák, Pavel, 1952- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Perspectives in mathematical logicVerlag: Berlin ; Heidelberg [u.a.] : Springer, 1993Beschreibung: XIV, 460 SISBN:

3540506322
0387506322

Schlagwörter:

Peano-Arithmetik
Metamathematik
Arithmetic

MSC: MSC: *03F30 | 03D15 | 03-02RVK: RVK: SK 130LOC-Klassifikation:

QA248

Call number: Grundsignatur: 93 A 606PPN: PPN: 277062845

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	93 A 606	Verfügbar		45655199090

Anzahl Vormerkungen: 0

Vormerken
Druck
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)