Categorical logic and type theory /

Bibliographic Details
Main Author:	Jacobs, Bart
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier Science, [1999]
Edition:	1st ed.
Series:	Studies in logic and the foundations of mathematics ; v. 141.
Subjects:	Type theory. Categories (Mathematics)

by Jacobs, Bart
Published 1999

Connect to the full text of this electronic book

eBook