Higher-Order Logic and Type Theory: Elements in Philosophy and Logic
Autor John L. Bellen Limba Engleză Paperback – 30 mar 2022
Preț: 129.45 lei
Nou
Puncte Express: 194
Preț estimativ în valută:
24.78€ • 25.77$ • 20.76£
24.78€ • 25.77$ • 20.76£
Carte disponibilă
Livrare economică 20 februarie-06 martie
Livrare express 06-12 februarie pentru 14.87 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781108986908
ISBN-10: 1108986900
Pagini: 75
Dimensiuni: 152 x 229 x 5 mm
Greutate: 0.13 kg
Ediția:Nouă
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Elements in Philosophy and Logic
Locul publicării:Cambridge, United Kingdom
ISBN-10: 1108986900
Pagini: 75
Dimensiuni: 152 x 229 x 5 mm
Greutate: 0.13 kg
Ediția:Nouă
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Elements in Philosophy and Logic
Locul publicării:Cambridge, United Kingdom
Cuprins
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.
Descriere
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.