You have chosen 'Deriving Kripkean Claims with Abstract Objects' by Edward N. Zalta, 'Regressive Method for Premises in Mathematics' by Bertrand Russell and 'Introduction to Russell's Theory of Types' by Willard Quine
start again | choose another area for these texts | all the ideas for this combination of textsAll the ideas for Theory of Logic, or select a subheading: |