Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 7 votes.
Titre original :
Higher-Order Logic and Type Theory
Contenu du livre :
Exposé de la logique du second ordre et du second ordre supérieur et de la théorie des types.
Il comprend la syntaxe et la sémantique de la logique classique du second ordre et une discussion de la logique d'ordre supérieur basée sur le concept de type. Les origines et la nature de la théorie des types, sa relation avec la théorie des ensembles et les descriptions des formes contemporaines de la théorie des types sont également explorées.
Autres informations sur le livre :
| ISBN : | 9781108986908 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2022 |
| Nombre de pages : | 75 |
Achat:
Actuellement disponible, en stock.
