Métamathématique

(0) Donner la première évaluation
CHF 116.90
Download est disponible immédiatement
eBook (pdf)
Informations sur les eBooks
Les eBooks conviennent également aux appareils mobiles (voir les instructions).
Les eBooks d'Ex Libris sont protégés contre la copie par ADOBE DRM: apprenez-en plus.
Pour plus d'informations, cliquez ici.

Description

Résumé
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

Afficher plus

Détails sur le produit

Titre
Métamathématique
Auteur
traducteur
EAN
9783112317143
Format
eBook (pdf)
Producteur
de Gruyter Mouton
Genre
Instruction publique
Parution
02.06.2020
Protection contre la copie numérique
filigrane numérique
Nombre de pages
166
Edition
Reprint 2020
Afficher plus