Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
| Country | USA | 
| Brand | Cambridge University Press | 
| Manufacturer | Cambridge University Press | 
| Binding | Paperback | 
| ItemPartNumber | 43 b/w illus. 64 exercises | 
| ReleaseDate | 2008-08-21 | 
| UnitCount | 1 | 
| EANs | 9780521576512 |