Categorical logic and type theory by B. Jacobs

Categorical logic and type theory



Download Categorical logic and type theory




Categorical logic and type theory B. Jacobs
Language: English
Page: 779
Format: djvu
ISBN: 0444501703, 9780444501707
Publisher: Elsevier

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

MORE EBOOKS:







Tags: Categorical logic and type theory ebook pdf epub djvu mobi rar
Categorical logic and type theory pdf epub djvu free download
Download Categorical logic and type theory free ebook pdf epub
Categorical logic and type theory read online free book
Categorical logic and type theory cheap ebook for kindle and nook
B. Jacobs ebooks and audio books
Categorical logic and type theory download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd