'fragments/reports', 'Gentzen's Analysis of First-Order Proofs' and 'True in Theory, but not in Practice'

No ideas for this combination

start again     |    choose another area for these texts     |    all the ideas for this combination of texts