You have chosen 'On the Question of Absolute Undecidability' by Peter Koellner, 'A Completeness Theorem in Modal Logic' by Saul A. Kripke and 'On the General Idea of Proof Theory' by Dag Prawitz
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: |