Ebook: Categorical Logic and Type Theory
Author: Bart Jacobs
- Genre: Mathematics // Logic
- Tags: Kategorie (matematyka), Teoria typów (logika matematyczna)
- Series: Studies in Logic and the Foundations of Mathematics vol. 141.
- Year: 2005
- Publisher: Elsevier
- City: Amsterdam
- Language: English
- pdf
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)