Peter B Andrews

Peter B Andrews is the author of books such as Introduction To Mathematical Logic and Type Theory To Truth Through Proof.