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

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

Saved in:
Bibliographic Details
Main Author: Chang, C.
Other Authors: Lee, R. C.
Format: Book
Language:English
Published: Academic, 1973
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISBN:9780121703509

Similar Items