En raison de travaux de maintenance, notre service e-book n'est disponible que dans une mesure limitée. Les commandes et les téléchargements ne sont actuellement que partiellement possibles. Nous vous demandons de télécharger votre e-book plus tard. Nous vous remercions pour votre compréhension.
Saisissez votre adresse de courriel ou votre numéro de mobile. Vous recevrez un lien direct pour télécharger notre appli gratuite Reader.
L’appli Ex Libris Reader est disponible pour iOS et pour Android. Vous trouverez ici de plus amples informations sur nos applis.
Contenu
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
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 |
Vous avez placé des articles dans votre panier lors d’une visite précédente. C’est pourquoi votre panier contient actuellement ces articles. |