Logic for computer science foundations of automatic theorem proving

书目详细资料
主要作者:	Gallier, Jean H.
格式:	图书
语言:	English
出版:	New York Harper & Row c1986.
主题:	Automatic theorem proving. Logic, Symbolic and mathematical.