A Common Type of Rigorous Proof that Resists Hilbert’s Programme

Alan Bundy, Mateja Jamnik

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Fingerprint Dive into the research topics of 'A Common Type of Rigorous Proof that Resists Hilbert’s Programme'. Together they form a unique fingerprint.

Arts & Humanities