Author | Title | MSC2020 Area |
---|---|---|

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, Aubert | Studies in Algebraic Logic | 03 Mathematical logic and foundations |

Daigneault, A. | Lectures on Mathematical 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 sets: Application of almost disjoint functions and genetic ultrapowers | 03 Mathematical logic and foundations |

Jech, Thomas | Ideals over uncountable set: Application of almost disjoint functinos and generic 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 |

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 | Introduction to Logic | 03 Mathematical logic and foundations |

Tarski, Alfred | Decision Method for Elementary Algera and Geometry | 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 |