Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
December 4, 2010 | History

Automated proof search in non-classicallogics 2 editions

Automated proof search in non-classicallogics
Lincoln A. Wallen
Uh oh. There's no description for this book yet. Can you help?

2 editions First published in 1990

Edition Read Locate Buy
Cover of: Automated proof search in non-classicallogics
Cover of: Automated proof search in non-classical logics

History Created December 10, 2009 · 2 revisions Download catalog record: RDF / JSON

December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page