Author Title MSC2020 Area
Addison, JThe Theory of Models03 Mathematical logic and foundations
Barwise, JonHandbook of Mathematical Logic03 Mathematical logic and foundations
Berger, RobertUndecidability of the Domino Problem03 Mathematical logic and foundations
Beth, E.W.The Foundations of Mathematics03 Mathematical logic and foundations
Boole, GeorgeAn Investigation of The Laws of Thought03 Mathematical logic and foundations
Bourbaki, N.Theorie Des Ensembles03 Mathematical logic and foundations
Bunder, MSet Theory Based on Combinatory Logic03 Mathematical logic and foundations
Burris, StanleyLogic for Mathematics and Computer Science03 Mathematical logic and foundations
Church, AlonzoIntroduction to Mathematical Logic03 Mathematical logic and foundations
Cignoli, RobertoAlgeras Das Logicas De Lukasiewicz03 Mathematical logic and foundations
Clarke, DHierachies of the Predicates of finite Types03 Mathematical logic and foundations
Conway, JohnOn Numbers and Games03 Mathematical logic and foundations
Cullinane, Michael J.A Transition to Mathematics With Proofs03 Mathematical logic and foundations
Curry, HaskellOutlines of a Formalist Philosophy of Mathematics03 Mathematical logic and foundations
Daigneault, AubertStudies in Algebraic Logic03 Mathematical logic and foundations
Daigneault, A.Lectures on Mathematical Logic03 Mathematical logic and foundations
Dekker, J.C.E.Recursive Function Theory03 Mathematical logic and foundations
Deutsch, MichaelEinfuhrung in die Grundlagen der Mathematik03 Mathematical logic and foundations
Drake, FrankSet Theory: An Introduction to Large Cardinals03 Mathematical logic and foundations
Frege, GottlobFoundations of Arithmetic03 Mathematical logic and foundations
Freiman, G.A.Foundations of a Structural Theory of Set Addition03 Mathematical logic and foundations
Goldblatt, R.Topoi: The Categorial Analysis of Logic03 Mathematical logic and foundations
Harrington, L.A.Harvey Friedman's Research on the Foundations of Mathematics03 Mathematical logic and foundations
Hausdorff, FMengenlehre03 Mathematical logic and foundations
Hermes, HEnumerability, decidability, computability. An introduction to the theory of recursive functions03 Mathematical logic and foundations
Hilbert, DMathematical Logic03 Mathematical logic and foundations
Jech, ThomasIdeals over uncountable sets: Application of almost disjoint functions and genetic ultrapowers03 Mathematical logic and foundations
Jech, ThomasIdeals over uncountable set: Application of almost disjoint functinos and generic ultrapowers03 Mathematical logic and foundations
Kamke, ETheory of Sets03 Mathematical logic and foundations
Kleene, SFormalized Recursive Functionals and Formalized Realizability03 Mathematical logic and foundations
Lakatos, ImreProofs and Refutations: The Logic of Mathematical Discovery03 Mathematical logic and foundations
Levy, AzrielHierarchy of Formulas in Set Theory03 Mathematical logic and foundations
Markushevich, ARecursion Sequences03 Mathematical logic and foundations
McKenzie, RalphThe Structure of Deciable Locally Finite Varieties03 Mathematical logic and foundations
Nagel, ErnestLogic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress03 Mathematical logic and foundations
Novikov, PElements of Mathematical Logic03 Mathematical logic and foundations
Pillay, AnandAn Introduction to Stability Theory03 Mathematical logic and foundations
Robinson, AbrahamNonstandard Analysis03 Mathematical logic and foundations
Robinson, AbrahamTheorie Metamathematique des Ideaux03 Mathematical logic and foundations
Russell, BertrandIntroduction to Mathematical Philosophy03 Mathematical logic and foundations
Smulyan, RaymondTheory of Formal Systems03 Mathematical logic and foundations
Tarski, AlfredIntroduction to Logic03 Mathematical logic and foundations
Tarski, AlfredDecision Method for Elementary Algera and Geometry03 Mathematical logic and foundations
Van Rootselaar, B.Logic, Methodology, and Philosophy of Science; Proceedings of the Third International Congress, Amsterdam 196703 Mathematical logic and foundations
Velleman, DanielHow To Prove It: A Structured Approach03 Mathematical logic and foundations
Youse, BevanMathematical Induction03 Mathematical logic and foundations
nan, Logic GroupResearch Report03 Mathematical logic and foundations