Symbolic logic mechanical theorem proving

Saved in:

Bibliographic Details
Main Author:	Chang, Chin-Liang
Other Authors:	Lee, Richard Char-Tung
Format:	Book
Language:	English
Published:	Orlando : Academic Press , 1973
Series:	A series of monographs and textbooks edited by Werner Rheinboldt
Subjects:	Computer architecture Computer mathematics Mathematics
Tags:	Add Tag No Tags, Be the first to tag this record!

NFLIC-FRI Library

Holdings details from NFLIC-FRI Library
Call Number:	511.3 CHA/S
Copy	Available