Categorical Logic and Type Theory (Volume 141) Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) by Bart Jacobs
18 ratings, 4.67 average rating, 0 reviews

Categorical Logic and Type Theory (Volume 141) Quotes Showing 0-0 of 0

All Quotes
Quotes By Bart Jacobs