Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Logical Introduction to Proof

DOI: 10.1007/978-1-4614-3631-7
Publisher: Springer New York - Springer E-books
Sep 19, 2012