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