Proof Theory - K. Schütte
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreSoyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Proof Theory de K. Schütte Format Broché - Livre
0 avis sur Proof Theory de K. Schütte Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Proof Theory de K. Schütte Format Broché
- Livre
Résumé :
A. Pure Logic.- I. Fundamentals.- II. Classical Predicate Calculus.- III. Intuitionistic Predicate Calculus.- IV. Classical Simple Type Theory.- B. Systems of Arithmetic.- V. Ordinal Numbers and Ordinal Terms.- VI. Functional of Finite Type.- VII. Pure Number Theory.- C. Subsystems of Analysis.- VIII. Predicative Analysis.- IX. Higher Ordinals and Systems of ?11-Analysis....
Sommaire:
A. Pure Logic.- I. Fundamentals.- II. Classical Predicate Calculus.- III. Intuitionistic Predicate Calculus.- IV. Classical Simple Type Theory.- B. Systems of Arithmetic.- V. Ordinal Numbers and Ordinal Terms.- VI. Functional of Finite Type.- VII. Pure Number Theory.- C. Subsystems of Analysis.- VIII. Predicative Analysis.- IX. Higher Ordinals and Systems of ?11-Analysis.