Autologic
By: Neil Tennant.
Series: Edinburgh information technology series ;; 9
Publisher: Edinburgh University Press
Published: 1992
Place of publication: Edinburgh
Language: eng
Number of pages: 239
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 227-231) and index.