Antilibrary · Mathematics

Foundations, Logic and Set Theory

1Consistency of the Continuum Hypothesis (1940) - Kurt Gödel
2Introduction to Logic Irving M. Copi Carl Cohen Victor Rodych
3Introduction to Metamathematics (1952) - Stephen Cole Kleene
4Logic and Structure - Van Dalen
5Mathematical Foundations: Kolmogorov Complexity, Entropy and Information (Volkenstein), Gödel, Escher, Bach
6Mathematical Logic - Yu. L. Ershov, E. A. Palyutin
7Metamathematics & Proof Theory
8Naive Set Theory - Paul R. Halmos
9Napkin - Evan Chen
10On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931), Consistency of the Continuum Hypothesis (1940) - Kurt Gödel
11On the Infinite (1925) - David Hilbert
12Paraconsistent & Non-Classical Logics
13Predicate Logic & Model Theory
14Principia Mathematica (1910–1913) - Bertrand Russell & Alfred North Whitehead
15Principles of Mathematical Logic (1928) - David Hilbert & Wilhelm Ackermann
16Probability Theory: The Logic of Science (2003) - E. T. Jaynes
17Some Remarks on Axiomatized Set Theory (1922) - Thoralf Skolem
18The method of mathematical induction - Sominskii
19The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics) - Martin Davis
20Truth and Proof (1944) - Alfred Tarski