Autologic /

Bibliographic Details

Main Author:	Tennant, Neil, 1950-
Format:	Book
Language:	English
Published:	Edinburgh : Edinburgh University Press, [1992]
Series:	Edinburgh information technology series ; 9.
Subjects:	Logic Automatic theorem proving. Logic, Symbolic and mathematical.