Proofs and Theories - pocket, , 1999