1 option
Métamathématique / Paul Lorenzen.
- Format:
- Book
- Author/Creator:
- Lorenzen, Paul, Author.
- Series:
- Mathématiques et Sciences de L'Homme
- Mathématiques et Sciences de l'Homme ; 6
- Language:
- French
- Physical Description:
- 1 online resource (166 p.)
- Edition:
- Reprint 2020
- Place of Publication:
- Berlin ; Boston : De Gruyter Mouton, [2020]
- Language Note:
- In French.
- Contents:
- Frontmatter
- TABLE DES MATIÈRES
- INTRODUCTION
- CHAPITRE PREMIER. FORMALISATION DE LA LOGIQUE
- CHAPITRE II. FORMALISATION DE L'ARITHMÉTIQUE
- CHAPITRE III. ARITHMÉTISATION DES FORMALISMES
- CHAPITRE IV. DÉCIDABILITÉ DES THÉORIES AXIOMATIQUES
- OUVRAGES CITÉS
- INDEX DES MATIÈRES
- Notes:
- Description based on online resource; title from PDF title page (publisher's Web site, viewed 26. Mai 2020)
- ISBN:
- 9783112317143
- 3112317149
- OCLC:
- 1158108935
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.