You have chosen 'Introduction to Mathematical Logic' by Michal Walicki, 'Set Theory and its Logic' by Willard Quine and 'The Concept of Truth for Formalized Languages' by Alfred Tarski
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: |