Introduction to Higher Order Categorical Logic
Introduction to Higher-Order Categorical Logic
Publisher: Cambridge University Press | ISBN: 0521356539 | edition 1988 | PDF | 304 pages | 30 mb
'A readable and timely account of important results, most of which were not previously available in book form.' Bulletin of the London Mathematical Society
My Links
To thank me use my links, please!
!!! No mirrors please !!!
related link：
-
Cambridge University Press London Mathematical Society Categorical Logic Cambridge University Publisher
- More infomation may be in the description section, read description carefully!
- Click "Ebook Search" button to find mirrors if no download links or dead links in the description.
If you like this，Welcome subscribe get more laster updated。