Higher-Order Logic and Type Theory - Bell, John L.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre30,94 €
Produit Neuf
Ou 7,74 € /mois
- Livraison à 0,01 €
- Livré entre le 13 et le 26 mai
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
32,43 €
Produit Neuf
Ou 8,11 € /mois
- Livraison à 0,01 €
- Livré entre le 2 et le 9 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781108986908_dbm
- 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 Higher - Order Logic And Type Theory Format Broché - Livre Philosophie
0 avis sur Higher - Order Logic And Type Theory Format Broché - Livre Philosophie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
La Sante Interdite
Occasion dès 45,04 €
-
The Climbing Bible: Practical Exercises
Neuf dès 29,63 €
-
Paul Thek En Italie (1962-1976)
Neuf dès 24,00 €
-
The Ultimate Tsa Guide
Neuf dès 40,18 €
-
The Bat In My Pocket: A Memorable Friendship
Occasion dès 24,71 €
-
Ulysses Annotated
Neuf dès 47,91 €
Occasion dès 30,02 €
-
The Ballad Of The Sad Café
2 avis
Neuf dès 16,13 €
Occasion dès 29,57 €
-
The Rare Record Price Guide 2026
Neuf dès 44,66 €
-
Dc Finest: Justice Society Of America: The Plunder Of The Psycho-Pirate
Neuf dès 39,20 €
-
Cote D'azur: Inventing The French Riviera
Occasion dès 24,90 €
-
Dc Finest: The Flash: The Fastest Man Dead
Neuf dès 39,88 €
-
Hypnose Leviers De Changement: Comment Les Détecter Et Les Activer
3 avis
Occasion dès 24,00 €
-
Enneades, Tome V
Occasion dès 25,80 €
-
World Radio Tv Handbook 2024: The Directory Of Global Broadcasting
Neuf dès 53,48 €
Occasion dès 39,54 €
-
The House Of Rothschild
Neuf dès 28,93 €
Occasion dès 19,90 €
-
Eugene O'neill - Le Génie Illégitime De Broadway
Neuf dès 25,00 €
Occasion dès 19,50 €
-
The Cycle Of The Year
Neuf dès 35,06 €
-
Complete Ielts Bands 6.5-7.5 Workbook Without Answers With Audio Cd
Neuf dès 38,71 €
-
Wild Skin
Occasion dès 34,16 €
-
Staying With The Trouble
Neuf dès 36,04 €
Produits similaires
Présentation Higher - Order Logic And Type Theory Format Broché
- Livre Philosophie
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
Personne responsable dans l'UE