Symbolic logic and mechanical theorem proving


名称	Symbolic logic and mechanical theorem proving

索引号	O141/E805
分类号	O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	Chang、 Chin-Liang、 1937-、Lee、 Richard Char-Tung、 1939- joint author.、
出版社	New York, Academic Press [1973]
ISBN
页数	xiii, 331 p. illus. 24 cm.
价格
标签
简介
注解