Iason Szatan's votes on the list Logic and Set Theory (MMath)

Listopia > Iason Szatan's votes on the list Logic and Set Theory (MMath) (14 Books)

1	The Oxford Handbook of Philosophy of Mathematics and Logic by Stewart Shapiro (Editor) 4.48 avg rating — 42 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	Set Theory by Thomas J. Jech 4.43 avg rating — 46 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	Set Theory and Metric Spaces by Irving Kaplansky 4.40 avg rating — 45 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
4	99 Variations on a Proof by Philip Ording 4.33 avg rating — 119 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
5	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
6	Patterns of Plausible Inference by George Pólya 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
7	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
8	Generatingfunctionology by Herbert S. Wilf 4.61 avg rating — 69 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
9	On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel 4.48 avg rating — 424 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
10	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 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
11	Set Theory: An introduction to Independence Proofs by Kenneth Kunen 4.25 avg rating — 48 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
12	Set Theory and the Continuum Hypothesis (Dover Books on Mathematics) by Paul Cohen 4.22 avg rating — 49 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
13	Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene 4.37 avg rating — 59 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
14	Computational Complexity: A Modern Approach by Sanjeev Arora 4.32 avg rating — 137 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