You have chosen 'Librium de interpretatione editio secunda' by Boethius, 'Brain Bisection and Unity of Consciousness' by Thomas Nagel 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 texts| All the ideas for Mathematics, or select a subheading: |
| A. | Nature of Mathematics | |
| B. | Foundations for Mathematics | |
| C. | Sources of Mathematics |