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

Listopia > Henne'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,105 ratings Henne 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 Henne 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
3	How to Prove It: A Structured Approach by Daniel J. Velleman 4.30 avg rating — 978 ratings Henne added it 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
4	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 ratings Henne 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
5	Elements of Set Theory by Herbert B. Enderton 4.22 avg rating — 79 ratings Henne 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
6	Naive Set Theory by Paul R. Halmos 4.23 avg rating — 625 ratings Henne 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
7	On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel 4.48 avg rating — 425 ratings Henne 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
8	Principia Mathematica (3 Volume Set) by Alfred North Whitehead 3.98 avg rating — 213 ratings Henne 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
9	The Frege Reader by Gottlob Frege 4.08 avg rating — 170 ratings Henne 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
10	Essays on the Theory of Numbers (Dover Books on Mathematics) by Richard Dedekind 4.15 avg rating — 170 ratings Henne 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
11	Mathematical Proofs: A Transition to Advanced Mathematics (3rd Edition) by Gary Chartrand 4.09 avg rating — 162 ratings Henne 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
12	Schaum's Outline of Discrete Mathematics (Schaum's Outline Series) by Seymour Lipschutz 3.82 avg rating — 157 ratings Henne 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
13	Computability and Logic by George S. Boolos 4.13 avg rating — 167 ratings Henne 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
14	A Mathematical Introduction to Logic by Herbert B. Enderton 3.96 avg rating — 146 ratings Henne 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
15	Computational Complexity: A Modern Approach by Sanjeev Arora 4.32 avg rating — 137 ratings Henne 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
16	Lectures on the Foundations of Mathematics, Cambridge 1939 by Ludwig Wittgenstein 4.27 avg rating — 145 ratings Henne 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
17	Statistics As Principled Argument by Robert P. Abelson 4.17 avg rating — 107 ratings Henne 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	Induction and Analogy in Mathematics by George Pólya 4.36 avg rating — 104 ratings Henne 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
19	Schaum's Outline of Set Theory and Related Topics by Seymour Lipschutz 4.01 avg rating — 91 ratings Henne 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
20	Mathematics for Computer Science by Eric Lehman 3.85 avg rating — 95 ratings Henne 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
21	Mathematical Logic by Willard Van Orman Quine 4.08 avg rating — 75 ratings Henne 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
22	The Foundations of Mathematics by David Tall 4.07 avg rating — 90 ratings Henne 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
23	Axiomatic Set Theory (Dover Books on Mathematics) by Patrick C. Suppes 4.19 avg rating — 79 ratings Henne 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
24	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings Henne 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
25	Schaum's Outline of Logic (Schaum's Outline Series) by John Nolt 3.87 avg rating — 68 ratings Henne 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
26	Topoi: The Categorial Analysis of Logic by Robert Goldblatt 4.27 avg rating — 67 ratings Henne 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
27	Practical Foundations for Programming Languages by Robert Harper 3.87 avg rating — 62 ratings Henne 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
28	Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene 4.37 avg rating — 59 ratings Henne 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
29	Foundations of Geometry by David Hilbert 4.23 avg rating — 64 ratings Henne 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
30	Generatingfunctionology by Herbert S. Wilf 4.61 avg rating — 69 ratings Henne 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
31	Introduction to Set Theory by Karel Hrbacek 4.33 avg rating — 58 ratings Henne 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
32	Introduction to Logic (Dover Books on Mathematics) by Patrick C. Suppes 3.87 avg rating — 55 ratings Henne 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
33	From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 by Jean Van Heijenoort 4.60 avg rating — 50 ratings Henne 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
34	Patterns of Plausible Inference by George Pólya 4.51 avg rating — 53 ratings Henne 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 Henne 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
36	99 Variations on a Proof by Philip Ording 4.33 avg rating — 119 ratings Henne 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
37	Set Theory and the Continuum Hypothesis (Dover Books on Mathematics) by Paul Cohen 4.22 avg rating — 49 ratings Henne 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
38	A Book of Set Theory (Dover Books on Mathematics) by Charles C. Pinter 4.26 avg rating — 46 ratings Henne 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
39	Set Theory: An introduction to Independence Proofs by Kenneth Kunen 4.25 avg rating — 48 ratings Henne 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
40	Reverse Mathematics: Proofs from the Inside Out by John Stillwell 4.20 avg rating — 61 ratings Henne 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
41	Set Theory and Metric Spaces by Irving Kaplansky 4.40 avg rating — 45 ratings Henne 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
42	Automata and Computability by Dexter C. Kozen 4.21 avg rating — 47 ratings Henne 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
43	Set Theory by Thomas J. Jech 4.43 avg rating — 46 ratings Henne 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
44	Logic and Structure by Dirk van Dalen 3.93 avg rating — 44 ratings Henne 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
45	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings Henne 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
46	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.14 avg rating — 35 ratings Henne 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
47	Discrete Mathematics: Introduction to Mathematical Reasoning by Susanna S. Epp 4.21 avg rating — 38 ratings Henne 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
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 Henne 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
49	Set Theory and Its Logic by Willard Van Orman Quine 3.86 avg rating — 28 ratings Henne 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
50	The Oxford Handbook of Philosophy of Mathematics and Logic by Stewart Shapiro (Editor) 4.48 avg rating — 42 ratings Henne 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