Higher-Order Logic and Type Theory
First published 2022
More by John L. Bell
EMS DAYS the Cold Case
2019
Come All You People
2005
Set Theory
2005
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
2005
The Singing Thing
2000
A Primer of Infinitesimal Analysis
1998
Toposes and Local Set Theories
1988
A Course in Mathematical Logic
1977
Catalogue record
Cambridge University Press
- Publisher
- Cambridge University Press
- ISBN
- 978-1-108-98690-8
Full recordClose
- Publisher
- Cambridge University Press
- ISBNs
-
- 978-1-108-98690-8
- 978-1-108-98180-4
- Author
- Bell, John L.
- Statement
- Higher-Order Logic and Type Theory / John L. Bell.
- Records
- Open Library