Categorical Logic and Type Theory

Author: Bart Jacobs
Publisher: Elsevier
Language: English
Year: 1999
Page: 780
ISBN: 0444501703
File Type: pdf
File Size: 27.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book