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 Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931) - Kurt Gödel
12On the Infinite (1925) - David Hilbert
13Paraconsistent & Non-Classical Logics
14Predicate Logic & Model Theory
15Principia Mathematica (1910–1913) - Bertrand Russell & Alfred North Whitehead
16Principia Mathematica (Alfred North Whitehead, Bertrand Russel) ( )
17Principles of Mathematical Logic (1928) - David Hilbert & Wilhelm Ackermann
18Probability Theory: The Logic of Science (2003) - E. T. Jaynes
19Some Remarks on Axiomatized Set Theory (1922) - Thoralf Skolem
20The method of mathematical induction - Sominskii
21The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics) - Martin Davis
22Truth and Proof (1944) - Alfred Tarski