Back to Results
First PageMeta Content
Proof theory / Philosophy of mathematics / Formal methods / Logic in computer science / Computer-assisted proof / Mathematical proof / Axiomatic system / Theorem / Undecidable problem / Mathematics / Logic / Mathematical logic


WHITHER MATHEMATICS? E.B. Davies 15 December 2004
Add to Reading List

Document Date: 2004-12-17 11:21:14

Open Document

File Size: 108,78 KB

Share Result on Facebook
UPDATE