Models of Peano Arithmetic
de Kaye, Richard.
Collection: Oxford Logic Guides. 15 .Éditeur: Oxford, New York, Toronto : Oxford University Press, 1991.Description: x-292 p., index.ISBN: 0-19-853213-X.N° Inventaire: L11882.Thématique: Modèle | Mathématiques | Logique | ThéorieThématique spécifique: Philosophie | Système descriptif | Métaphysique | Egalité | Analyse formelle | Formalisme | Langage | Epistémologie | Système symbolique | Modèle mathématique | Théorie des systèmes | Code symbolique | Structure | Ordre | Arithmétique | MéthodologieAuteur cité: Harrington (L.) | Peano (G.) | Scott (D.) | Gödel, Kurt | Skolem (T.) Item type:

Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Éric-de-Dampierre | Fonds général | GN 476.1 K23 (Browse shelf(Opens below)) | Available | L11882 |
bibliogr.
There are no comments on this title.