Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
December 11, 2009 | History

Symbolic logic and mechanical theorem proving 1 edition

Symbolic logic and mechanical theorem proving
C. Chang

No ebook available.


Buy this book

Add an ISBN in order to
link to booksellers


There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Symbolic logic and mechanical theorem proving
by C. Chang and R.C. Lee.

Published 1973 by Academic .
Written in English.

ID Numbers

Open Library
OL21043969M

History

Download catalog record: RDF / JSON
December 11, 2009 Created by WorkBot add works page