Higher-Order Logic and Type Theory

Bell

Higher-Order Logic and Type Theory - Cambridge University Press Cambridge University Press 2022

9781108981804

EBOOK