History and Philosophy of Constructive Type Theory - Synthese Library 290 (Hardback)Giovanni Sommaruga (author)
- We can order this
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
Number of pages: 367
Weight: 1550 g
Dimensions: 234 x 156 x 22 mm
Edition: 2000 ed.
You may also be interested in...
Please sign in to write a review