Emmy Noether's votes on the list Logic and Set Theory (MMath)

Listopia > Emmy Noether's votes on the list Logic and Set Theory (MMath) (50 Books)

1	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,094 ratings Emmy added it to to-read See Review	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	Frege: Basic Laws of Arithmetic by Gottlob Frege (Translator) 4.20 avg rating — 5 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	How to Prove It: A Structured Approach by Daniel J. Velleman 4.30 avg rating — 965 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	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 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	Naive Set Theory by Paul R. Halmos 4.23 avg rating — 613 ratings Emmy rated it 4 stars See Review	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	On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel 4.49 avg rating — 416 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	Principia Mathematica (3 Volume Set) by Alfred North Whitehead 3.99 avg rating — 214 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	The Frege Reader by Gottlob Frege 4.08 avg rating — 169 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	Essays on the Theory of Numbers (Dover Books on Mathematics) by Richard Dedekind 4.15 avg rating — 168 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	Mathematical Proofs: A Transition to Advanced Mathematics (3rd Edition) by Gary Chartrand 4.09 avg rating — 162 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	Schaum's Outline of Discrete Mathematics (Schaum's Outline Series) by Seymour Lipschutz 3.81 avg rating — 156 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	Computability and Logic by George S. Boolos 4.13 avg rating — 165 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	A Mathematical Introduction to Logic by Herbert B. Enderton 3.95 avg rating — 145 ratings Emmy rated it 3 stars See Review	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.33 avg rating — 135 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
15	Lectures on the Foundations of Mathematics, Cambridge 1939 by Ludwig Wittgenstein 4.26 avg rating — 141 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
16	Statistics As Principled Argument by Robert P. Abelson 4.17 avg rating — 107 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
17	Induction and Analogy in Mathematics by George Pólya 4.39 avg rating — 101 ratings Emmy added it to to-read See Review	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
18	Schaum's Outline of Set Theory and Related Topics by Seymour Lipschutz 4.01 avg rating — 88 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
19	Mathematics for Computer Science by Eric Lehman 3.85 avg rating — 95 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
20	Mathematical Logic by Willard Van Orman Quine 4.08 avg rating — 75 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
21	The Foundations of Mathematics by David Tall 4.08 avg rating — 90 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
22	Axiomatic Set Theory (Dover Books on Mathematics) by Patrick C. Suppes 4.18 avg rating — 77 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
23	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 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
24	Schaum's Outline of Logic (Schaum's Outline Series) by John Nolt 3.85 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
25	Elements of Set Theory by Herbert B. Enderton 4.23 avg rating — 79 ratings Emmy rated it 4 stars See Review	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
26	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
27	Practical Foundations for Programming Languages by Robert Harper 3.87 avg rating — 62 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
28	Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene 4.40 avg rating — 58 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
29	Foundations of Geometry by David Hilbert 4.23 avg rating — 62 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
30	Generatingfunctionology by Herbert S. Wilf 4.60 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
31	Introduction to Set Theory by Karel Hrbacek 4.35 avg rating — 57 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
32	Introduction to Logic (Dover Books on Mathematics) by Patrick C. Suppes 3.87 avg rating — 55 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
33	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
34	Patterns of Plausible Inference by George Pólya 4.51 avg rating — 53 ratings Emmy added it to to-read See Review	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
35	Homotopy Type Theory by The Univalent Foundations Program 4.51 avg rating — 53 ratings Emmy rated it 5 stars See Review	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
36	99 Variations on a Proof by Philip Ording 4.34 avg rating — 116 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
37	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
38	A Book of Set Theory (Dover Books on Mathematics) by Charles C. Pinter 4.26 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
39	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
40	Reverse Mathematics: Proofs from the Inside Out by John Stillwell 4.22 avg rating — 60 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
41	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
42	Automata and Computability by Dexter C. Kozen 4.24 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
43	Set Theory by Thomas J. Jech 4.45 avg rating — 44 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
44	Logic and Structure by Dirk van Dalen 3.89 avg rating — 44 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
45	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
46	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.15 avg rating — 34 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
47	Discrete Mathematics: Introduction to Mathematical Reasoning by Susanna S. Epp 4.17 avg rating — 36 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
48	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot 4.11 avg rating — 28 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
49	Set Theory and Its Logic by Willard Van Orman Quine 3.86 avg rating — 28 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
50	The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) by Stewart Shapiro (Editor) 4.45 avg rating — 40 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