Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Contenu du livre :
Reasoning in Simple Type Theory est un recueil d'articles qui comprend des réimpressions de huit articles fondamentaux dans ce domaine ainsi que treize nouveaux articles.
Pour les réimpressions, nous avons choisi un article d'Alonzo Church (présentant sa théorie simple des types), un article de Leon Henkin (prouvant la complétude de la théorie des types de Church par rapport à la sémantique de Henkin) et certains des articles les plus importants de Peter Andrews. Les nouveaux articles ont été rédigés par Peter Andrews et ses étudiants et collaborateurs, ainsi que par un certain nombre de chercheurs que son travail a influencés.
Le volume vise à montrer le développement historique de ce domaine important du raisonnement formel jusqu'à son état de l'art actuel et paraît en l'honneur de Peter Andrews à l'occasion de son 70e anniversaire.
Autres informations sur le livre :
| ISBN : | 9781904987703 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
