You have chosen 'On 'Generation and Corruption'' by Giles of Orleans, 'Axiomatic Theories of Truth (2005 ver)' by Volker Halbach and 'An Axiomatization of Set Theory' by John von Neumann
start again | choose another area for these texts | all the ideas for this combination of texts| All the ideas for Formal Logic, or select a subheading: |
| A. | Syllogistic Logic | |
| B. | Propositional Logic PL | |
| C. | Predicate Calculus PC | |
| D. | Modal Logic ML | |
| E. | Nonclassical Logics | |
| F. | Set Theory ST | |
| G. | Formal Mereology |