Synthese 134/1-2

Logic and mathematical reasoning

2003