1
by Awodey, Steve
Published 2006
Clarendon
... and graduates in philosophy mathematics, and computer science. With definitions of concepts and proofs...