Incoming Resources
- On formally undecidable propositions of Principia mathematica and related systems
- Logic for computer science:, foundations of automatic theorem proving, Jean H. Gallier
- An introduction to stability theory
- Aritmetica pitagorica y el triangulo de pascal, una iniciacion alpensamiento recursivo
- Philosophical Introduction to Set Theory
- Los gráficos existenciales peirceanos, sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos, Fernando Zalamea Traba
- Four Lives:, a Celebration of Raymond Smullyan
- Introduction to symbolic logic and its applications
- Introduction to logic and to the methodology of deductive sciences
- Introduction to formal languages, György E. Révész
- Fuzzy logic for beginners, Masao Mukaidono
- The axiom of choice, Thomas J. Jech
- Journey into mathematics:, an introduction to proofs, Joseph J. Rotman
- On formally undecidable propositions of Principia mathematica and related systems, Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
- Beyond infinity, an expedition to the outer limits of mathematics, Eugenia Cheng
- What Is Mathematical Logic?
- Computability and unsolvability, Martin Davis
- Wild animals, classifying and sorting, Lisa Greathouse
- How to solve mathematical problems, Wayne A. Wickelgren
- A beginner's guide to mathematical logic
- Popular lectures on mathematical logic, Hao Wang
- Gödel's proof, by Ernest Nagel and James R. Newman
- Everything and more, a compact history of [infinity], David Foster Wallace
- To infinity and beyond, a cultural history of the infinite, Eli Maor
- The mystery of the aleph, mathematics, the kabbalah, and the search for infinity, Amir D. Aczel