You have chosen 'Structuralism and the Notion of Dependence' by Øystein Linnebo, 'Intro to 'Provenance of Pure Reason'' by William W. Tait and 'Remarks on axiomatised set theory' by Thoralf Skolem
start again | choose another area for these texts | all the ideas for this combination of textsAll 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 |