Paul Lorenzen

Métamathématique (eBook, PDF)

Übersetzer: Grize, J. B.

• Format: PDF

Produktbeschreibung

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

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: De Gruyter
• Seitenzahl: 166
• Erscheinungstermin: 18. Mai 2020
• Französisch
• ISBN-13: 9783112317143
• Artikelnr.: 59421956

Inhaltsangabe

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