Proof theory
Subtitle: history and philosophical significance
By: edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen.
Contributors: Hendricks, Vincent F.; Pedersen, Stig Andur, 1943-; Jørgensen, Klaus Frovin.
Series: Synthese library ;; v. 292
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 244
Subjects: Proof theory -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
Papers presented at a conference held at the University of Roskilde, Denmark, Oct. 31-Nov. 1, 1997.