Automated theorem-proving in non-classical logics /

Bibliographic Details

Main Author:	Thistlewaite, Paul B.
Other Authors:	McRobbie, M. A. (Michael A.), Meyer, Robert K.
Format:	Book
Language:	English
Published:	London : New York : Pitman ; Wiley, 1988.
Series:	Research notes in theoretical computer science.
Subjects:	Automatic theorem proving. Nonclassical mathematical logic.