Proofs, Structures and Applications, Third Edition - Rowan Garnier; John Taylor (Taylor and Francis, 2009)