Your search returned 3 results.

Not what you expected? Check for suggestions
|
Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen.

by Detlefsen, Michael, 1948- | ebrary, Inc.

Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1).
Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen.

by Detlefsen, Michael, 1948- | ebrary, Inc.

Publisher: London ; New York : Routledge, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1).
Logic from A to Z [electronic resource] / Michael Detlefsen, David Charles McCarty, John B. Bacon.

by Detlefsen, Michael, 1948- | Bacon, John, 1940- | McCarty, David Charles | ebrary, Inc.

Publisher: London ; New York : Routledge, 1999Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 160/.3] (1).