2013

A Logical Introduction to Proof

Authors:

ISBN: 978-1-4614-3630-0 (Print) 978-1-4614-3631-7 (Online)