[FOM] decidability of intuitionistic propositional logic
neilt at mercutio.cohums.ohio-state.edu
Wed Dec 1 08:59:15 EST 2004
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?!
American Philosophical Quarterly
(I hereby solicit from all fom-ers submissions to the APQ that rival
More information about the FOM