Higher-Order Logic and Type Theory
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781108981804
- ISBN-101108981801
- Better World Books9781108981804
- Open LibraryOL37994485M
Subjects
Other Editions
- Higher-Order Logic and Type Theory
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!