Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen.
Material type:
TextPublication details: London ; New York : Routledge, 1992.Description: x, 241 p. : illISBN: - 9780203980255
- 511.3 20
- QA9.54 .P77 1991
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments on this title.
Log in to your account to post a comment.