Higher-Order Logic and Type Theory - Bell, John L.

Format: Broché
88 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

27,86 €

Produit Neuf

Livraison à 0,01 €

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Higher - Order Logic And Type Theory Format Broché - Livre Philosophie

Note : 0 0 avis sur Higher - Order Logic And Type Theory Format Broché - Livre Philosophie

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Higher - Order Logic And Type Theory Format Broché
- Livre Philosophie

Livre Philosophie - Bell, John L. - 01/03/2022 - Broché - Langue : Anglais

Auteur(s) : Bell, John L.Editeur : Cambridge University PressLangue : AnglaisParution : 01/03/2022Format : Moyen, de 350g à 1kgNombre de pages : 88Expédition : 142Dimensions : 22.9 x 15.2 x...

Auteur(s) : Bell, John L.

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/03/2022

Format : Moyen, de 350g à 1kg

Nombre de pages : 88

Expédition : 142

Dimensions : 22.9 x 15.2 x 0.6

Résumé :
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

Sommaire:
1. Second- Order Logic and Higher-Order Logic; 2. Type Theory and its Origins; 3. Local set theory; 4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'; Appendix; The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Higher-Order Logic and Type Theory - Bell, John L.

Avis sur Higher - Order Logic And Type Theory Format Broché - Livre Philosophie

Présentation Higher - Order Logic And Type Theory Format Broché - Livre Philosophie

Présentation Higher - Order Logic And Type Theory Format Broché
- Livre Philosophie