Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen.
Publication details: London ; New York : Routledge, 1992.Description: x, 241 p. : illISBN:- 0415023351
- 511.3 20
- QA9.54 .P77 1991eb

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.