| Addison, J | The Theory of Models | 03 Mathematical logic and foundations |
| Barwise, Jon | Handbook of Mathematical Logic | 03 Mathematical logic and foundations |
| Berger, Robert | Undecidability of the Domino Problem | 03 Mathematical logic and foundations |
| Beth, E.W. | The Foundations of Mathematics | 03 Mathematical logic and foundations |
| Boole, George | An Investigation of The Laws of Thought | 03 Mathematical logic and foundations |
| Bourbaki, N. | Theorie Des Ensembles | 03 Mathematical logic and foundations |
| Bunder, M | Set Theory Based on Combinatory Logic | 03 Mathematical logic and foundations |
| Burris, Stanley | Logic for Mathematics and Computer Science | 03 Mathematical logic and foundations |
| Church, Alonzo | Introduction to Mathematical Logic | 03 Mathematical logic and foundations |
| Cignoli, Roberto | Algeras Das Logicas De Lukasiewicz | 03 Mathematical logic and foundations |
| Clarke, D | Hierachies of the Predicates of finite Types | 03 Mathematical logic and foundations |
| Conway, John | On Numbers and Games | 03 Mathematical logic and foundations |
| Cullinane, Michael J. | A Transition to Mathematics With Proofs | 03 Mathematical logic and foundations |
| Curry, Haskell | Outlines of a Formalist Philosophy of Mathematics | 03 Mathematical logic and foundations |
| Daigneault, A. | Lectures on Mathematical Logic | 03 Mathematical logic and foundations |
| Daigneault, Aubert | Studies in Algebraic Logic | 03 Mathematical logic and foundations |
| Dekker, J.C.E. | Recursive Function Theory | 03 Mathematical logic and foundations |
| Deutsch, Michael | Einfuhrung in die Grundlagen der Mathematik | 03 Mathematical logic and foundations |
| Drake, Frank | Set Theory: An Introduction to Large Cardinals | 03 Mathematical logic and foundations |
| Frege, Gottlob | Foundations of Arithmetic | 03 Mathematical logic and foundations |
| Freiman, G.A. | Foundations of a Structural Theory of Set Addition | 03 Mathematical logic and foundations |
| Goldblatt, R. | Topoi: The Categorial Analysis of Logic | 03 Mathematical logic and foundations |
| Harrington, L.A. | Harvey Friedman's Research on the Foundations of Mathematics | 03 Mathematical logic and foundations |
| Hausdorff, F | Mengenlehre | 03 Mathematical logic and foundations |
| Hermes, H | Enumerability, decidability, computability. An introduction to the theory of recursive functions | 03 Mathematical logic and foundations |
| Hilbert, D | Mathematical Logic | 03 Mathematical logic and foundations |
| Jech, Thomas | Ideals over uncountable set: Application of almost disjoint functinos and generic ultrapowers | 03 Mathematical logic and foundations |
| Jech, Thomas | Ideals over uncountable sets: Application of almost disjoint functions and genetic ultrapowers | 03 Mathematical logic and foundations |
| Kamke, E | Theory of Sets | 03 Mathematical logic and foundations |
| Kleene, S | Formalized Recursive Functionals and Formalized Realizability | 03 Mathematical logic and foundations |
| Lakatos, Imre | Proofs and Refutations: The Logic of Mathematical Discovery | 03 Mathematical logic and foundations |
| Levy, Azriel | Hierarchy of Formulas in Set Theory | 03 Mathematical logic and foundations |
| Markushevich, A | Recursion Sequences | 03 Mathematical logic and foundations |
| McKenzie, Ralph | The Structure of Deciable Locally Finite Varieties | 03 Mathematical logic and foundations |
| Nagel, Ernest | Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress | 03 Mathematical logic and foundations |
| Novikov, P | Elements of Mathematical Logic | 03 Mathematical logic and foundations |
| Pillay, Anand | An Introduction to Stability Theory | 03 Mathematical logic and foundations |
| Prior, A.N. | Time and Modality | 03 Mathematical logic and foundations |
| Robinson, Abraham | Nonstandard Analysis | 03 Mathematical logic and foundations |
| Robinson, Abraham | Theorie Metamathematique des Ideaux | 03 Mathematical logic and foundations |
| Russell, Bertrand | Introduction to Mathematical Philosophy | 03 Mathematical logic and foundations |
| Smulyan, Raymond | Theory of Formal Systems | 03 Mathematical logic and foundations |
| Tarski, Alfred | Decision Method for Elementary Algera and Geometry | 03 Mathematical logic and foundations |
| Tarski, Alfred | Introduction to Logic | 03 Mathematical logic and foundations |
| Van Rootselaar, B. | Logic, Methodology, and Philosophy of Science; Proceedings of the Third International Congress, Amsterdam 1967 | 03 Mathematical logic and foundations |
| Velleman, Daniel | How To Prove It: A Structured Approach | 03 Mathematical logic and foundations |
| Youse, Bevan | Mathematical Induction | 03 Mathematical logic and foundations |
| nan, Logic Group | Research Report | 03 Mathematical logic and foundations |