A Logical Introduction to Proof
Publisher: Springer
Published: Sep 19, 2012
Format: paperback
Number of pages: 374
ISBN-13: 9781461436324