Higher-Order Logic and Type Theory
de John L. Bell
Ediciones (2)
- Higher-Order Logic and Type Theory (2022)
Cambridge University Press · inglés · ISBN 9781108986908
- Higher-Order Logic and Type Theory (2022)
Cambridge University Press · inglés · ISBN 9781108981804
