English language
Published 2022 by Cambridge University Press.
Higher-Order Logic and Type Theory
by John L. Bell
John L. Bell: Higher-Order Logic and Type Theory (2022, Cambridge University Press)
- ISBN:
- 978-1-108-98690-8
Copied ISBN!
Subjects
- Mathematics