[FOM] decidability of intuitionistic propositional logic

[Neil Tennant]

On Wed, 1 Dec 2004, A.P. Hazen wrote:

>      The footnote refers us to Gentzen's  1934 "Untersuchungen" (Eng. 
> tr. in volumes  I and II of "American Philosophical Quarterly," which 
> I don't think has ever published anything else as good since!).

Of course, that's setting the bar quite high, isn't it?!

Neil Tennant
Editor, 2005-2007
American Philosophical Quarterly

(I hereby solicit from all fom-ers submissions to the APQ that rival
Gentzen's "Untersuchungen".)