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!

MARC


LEADER	00000nam a2200000Ia 4500
008	130910s9999 xx 000 0 und d
020		\|a 0121703509
041		\|a eng
082		\|2 21st ed. \|a 511.3 \|b CHA/S
100		\|a Chang, Chin-Liang
245		\|a Symbolic logic mechanical theorem proving \|c Chin-Liang Chang and Richard Char-Tung Lee
260		\|a Orlando : \|b Academic Press , \|c 1973
300		\|a xiii, 308 p.
490		\|a A series of monographs and textbooks \|a edited by Werner Rheinboldt
504		\|a Bibliography: p. 309-31 includes index.
653		\|a Computer architecture
653		\|a Computer mathematics
653		\|a Mathematics
700		\|a Lee, Richard Char-Tung
942		\|c EN \|2 ddc
999		\|c 7813 \|d 7813