Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
by B. Jacobs
B. Jacobs examines categorical logic and type theory in this scholarly volume, published as Volume 141 of the Studies in Logic and the Foundations of Mathematics series. The listing identifies the copy as used and in good condition.
About This Book
Categorical Logic and Type Theory is a scholarly work by B. Jacobs.
The book focuses on the subjects identified in its title: categorical logic and type theory.
It appears as Volume 141 in the Studies in Logic and the Foundations of Mathematics series.
This listing describes a used book in good condition.
Reviews
No reviews yet. Be the first to review this book!