The many-valued theorem prover 3TAP. 3rd. edition

This is the 3TAP handbook. 3TAP is a many-valued tableau-based
theorem prover developed at the University of Karlsruhe.

The handbook serves a triple purpose: first, it documents the
history and development of the prover 3TAP; second, it provides a
user's manual, and third it is intended as a reference manual for
future developers, including porting hints.

This version of the handbook describes 3TAP Version 3.0 as of
September 30,1994.