Newer | Older Comments
11/01/2008
11/01/2008 03:20:00 PM
Comment on 141 M. E. Szabo. The Collected Works of Gerhard Ge...

Gentzen is the father of proof theory. It's scandalous that his collected works, which easily fit into one medium-sized book, are not available!



Posted by Anonymous at 11/01/2008 03:20:00 PM
Newer | Older Comments
11/01/2008