Logic : a computer approach
Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
McGraw-Hill, c1985
会津大学 情報センター (附属図書館)図
pbkBC138.S32 1985
OPAC
京都産業大学 図書館
pbk418.6||SCH
京都大学 数理解析研究所 図書室数研
pbkSCH||170||185051405
筑波大学 附属図書館 中央図書館
116-Sc110085314314
東京大学 大学院情報理工学系研究科CS図
pbk11:S:92012073397
名古屋大学 理学 図書室理数理
SCH||25||1||2540940860516
兵庫県立大学 神戸商科学術情報館
pbk116||502114389
Bibliography: p. 341-342
Includes index
Google Books