You have chosen 'Russell's Mathematical Logic' by Kurt Gödel, 'On the General Idea of Proof Theory' by Dag Prawitz and 'Real Essence' by Jan-Erik Jones
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: |