Ebook: Categorical Logic and Type Theory
Author: Bart Jacobs
- Genre: Mathematics // Logic
- Series: Studies in Logic and the Foundations of Mathematics 141
- Year: 1999
- Publisher: Elsevier
- Language: English
- djvu
Download the book Categorical Logic and Type Theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)