Alexandre Grothendieck's votes on the list Logic and Set Theory (MMath)

Listopia > Alexandre Grothendieck's votes on the list Logic and Set Theory (MMath) (3 Books)

1	From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 by Jean Van Heijenoort 4.60 avg rating — 50 ratings	Error rating book. Refresh and try again. 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
2	Homotopy Type Theory by The Univalent Foundations Program 4.51 avg rating — 53 ratings	Error rating book. Refresh and try again. 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
3	Topoi: The Categorial Analysis of Logic by Robert Goldblatt 4.27 avg rating — 67 ratings	Error rating book. Refresh and try again. 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