A Logical Introduction to Proof

A Logical Introduction to Proof

2012 • 368 pages