Proof theory : history and philosophical significance

Name: Proof theory : history and philosophical significance
Author: Hendricks, Vincent F., Pedersen, Stig Andur, Jørgensen, Klaus Frovin

CiNii 所蔵館 23館

書誌事項

責任表示: edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jørgensen

出版者

出版年月

Includes bibliographical references and index

"Result of a conference held at the University of Roskilde, Denmark, October 31st-November 1st, 1997"--Pref