Automated theorem proving in non-classical logics
Thistlewaite, P.(Paul)
McRobbie, M.(Michael)
Meyer, R.(Robert)
London Pitman
1988
Includes bibliography and index
Proof theory.
Logic, Symbolic and mathematical.