| Name | Last modified | Size |
|---|
 | Parent Directory | | |
 | Advances in Natural Deduction. A Celebration of Dag Prawitz's Work - Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva (eds.) (2014).pdf | 2022-02-22 06:24 | 4021 KB |
| Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems - (Applied Logic Series 35) Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.pdf | 2022-02-22 06:24 | 4101 KB |
| Between Logic and Reality - Modeling Inference, Action and Understanding (Logic, Epistemology, and the Unity of Science) - Majda Trobok, Nenad Miščević, Berislav Žarnić (editors) (2011).pdf | 2022-02-22 06:24 | 1825 KB |
| Dialogues for Proof Search. Jesse Alama.pdf | 2022-02-22 06:24 | 101 KB |
| Higher Order Logic. Daniel Leivant.pdf | 2022-02-22 06:24 | 728 KB |
| Induction, Algorithmic Learning Theory, and Philosophy Logic, Epistemology, and the Unity of Science, 9 - Michele Friend, et al Editors 2007.pdf | 2022-02-22 06:24 | 1580 KB |
| Logic for Learning - Learning Comprehensible Theories from Structured Data - J. W. Lloyd (auth.) 2003.pdf | 2022-02-22 06:24 | 6220 KB |
| Meinongian Logic. The Semantics of Existence and Nonexistence. Dale Jacquette 1997.pdf | 2022-02-22 06:24 | 3505 KB |
| Multiple-Conclusion Logic. CUP, D. J. Shoesmith, T. J. Smiley (1980).djvu | 2022-02-22 06:24 | 2112 KB |
| Non-Commutative Multiple-Valued Logic Algebras. Springer International Publishing, (Springer Monographs in Mathematics) Lavinia Corina Ciungu (2014).pdf | 2022-02-22 06:24 | 1928 KB |
| Proof, Computation and Agency. Logic at the Crossroads (Synthese Library, 352). Springer, (SYNTHESE LIBRARY 352) Johan van Benthem, Amitabha Gupta, Rohit Parikh (2011).pdf | 2022-02-22 06:24 | 2680 KB |
| Proofs and Algorithms_ An introduction to logic and computability - Dowek G. 2011.pdf | 2022-02-22 06:24 | 966 KB |
| Tarski - Truth and Proof.pdf | 2022-02-22 06:24 | 146 KB |
| The Principles of Mathematics Revisited - Hintikka.pdf | 2022-02-22 06:24 | 2297 KB |