Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen.
Contributor(s): Detlefsen, Michael | ebrary, Inc
.
Publisher: London ; New York : Routledge, 1992Description: x, 241 p. : ill. ; 23 cm.Subject(s): Proof theory![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 (Browse shelf) | Available |
Close shelf browser
Includes bibliographical references and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2005. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.