Ebook: Categorical logic and type theory
Author: Jacobs Bart
- Genre: Mathematics // Logic
- Series: Studies in logic and the foundations of mathematics 141
- Year: 1999
- Publisher: Elsevier
- City: Amsterdam
- 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)