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!
Login for hold information

Pilkington Library - Pilkington Main Collection

Shelfmark: 511.3/CHA
Copy [0404464742] Available
Copy [0404464734] Available
Copy [021340301] Available

Similar Items