Proofs and Theories häftadEngelska, 1999