Proof, logic, and formalization [electronic resource] /
edited by Michael Detlefsen.
- London ; New York : Routledge, 1992.
- x, 241 p. : ill.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Logic, Symbolic and mathematical.
Electronic books.
QA9.54 / .P77 1991eb
511.3
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Logic, Symbolic and mathematical.
Electronic books.
QA9.54 / .P77 1991eb
511.3