Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
1973
QA9 .C49 (Mapit)
Available at General Collection
Items
Details
Title
Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
Author
Chang, Chin-Liang, 1937-
Publication Details
New York, Academic Press [1973]
Language
English
Description
xiii, 331 p. illus. 24 cm.
Call Number
QA9 .C49
Dewey Decimal Classification
511/.3
Bibliography, etc. Note
Bibliography: p. 309-324.
Added Author
Lee, Richard Char-Tung, 1939- joint author.
Series
Computer science and applied mathematics
Record Appears in
On-Campus Resources > Books
All Resources
All Resources