Proof theory : history and philosophical significance
Author(s)
Bibliographic Information
Proof theory : history and philosophical significance
(Synthese library, v. 292)
Kluwer Academic, c2000
Available at / 23 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
"Result of a conference held at the University of Roskilde, Denmark, October 31st-November 1st, 1997"--Pref