A Logical Introduction to Proof
Publisher: Springer
Published: Oct 15, 2014
Format: paperback
Number of pages: 372
ISBN-13: 9781489990990