Editions of Higher-Order Logic and Type Theory
Filters
Higher-Order Logic and Type Theory
English language
Published 2022 by Cambridge University Press.
- ISBN:
- 978-1-108-98690-8
Copied ISBN!
Higher-Order Logic and Type Theory
English language
Published 2022 by Cambridge University Press.
- ISBN:
- 978-1-108-98180-4
Copied ISBN!
Can't find the edition you're looking for?