Bookbot

Métamathématique

En savoir plus sur le livre

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

Achat du livre

Métamathématique, Paul Lorenzen

Langue
Année de publication
1967
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer