Limit search to available items
Book Cover
Author Thistlewaite, Paul B.

Title Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer
Published London : Pitman ; New York : Wiley, 1988


Location Call no. Vol. Availability
 W'PONDS  511.3 Thi/Atp  AVAILABLE
Description 154 pages : illustrations ; 25 cm
Series Research notes in theoretical computer science, 0268-7534
Research notes in theoretical computer science.
Analysis Mathematics Proof Use of mathematical logic
Notes Includes indexes
Bibliography Bibliography: pages 135-142
Subject Automatic theorem proving.
Nonclassical mathematical logic.
Logic, Symbolic and mathematical.
Proof theory.
Author McRobbie, M. A. (Michael A.)
Meyer, Robert K.
LC no. 87025052
ISBN 0273087819
0470210060 (Wiley : pbk.)