You have chosen 'Thinking About Mathematics' by Stewart Shapiro, 'Introduction to the Theory of Logic' by Jos L. Zalabardo and 'Mathematical logic and theory of types' by Bertrand Russell
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: |