Checking proofs

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageUnknown
Title of host publicationThe Argument of Mathematics
EditorsAndrew Aberdein, Ian J. Dove
Place of PublicationDordrecht
PublisherSpringer
Pages147-170
ISBN (Print)978-94-007-6533-7
Publication statusPublished - 1 Jan 2013

Publication series

NameLogic, Epistemology and the Unity of Science
PublisherSpringer
Number30

Cite this