nature of mathematical proof
Subtitle: papers of a discussion meeting
By: issue organized and edited by Alan Bundy ... [et al.].
Contributors: Bundy, Alan.
Series: Philosophical transactions -- v. 363, no. 1835.
Publisher: The Royal Society
Published: 2005
Place of publication: London
Language: eng
Number of pages: 2461
Subjects: Proof theory -- Congresses.
Genres: Congresses.
Notes: Cover title.

Papers from a two-day debate at the Royal Society in Oct. 2004.

Includes bibliographical references.