Ebook: Categorical Logic
Author: Andrew M. Pitts
- Series: draft of a chapter in: S. Abramsky D. M. Gabbay T. S. E. Maibaum (eds.) Handbook of Logic in Computer Science vol. VI OUP
- Year: 1995
- Edition: version 18 May 1995
- Language: English
- pdf
Download the book Categorical Logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)