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

Filter
Finished

Search results