Jan von Plato ''Gentzen's Proof Systems: Byproducts in a Work of Genius,'' in: The Bulletin of Symbolic Logic, vol. 18, no. 3, 2012 近年に見つかった Gentzen の手稿を調べ、NK や LK などが、どのように考え出され、形を取るようになって行ったの…

Edward Kanterian Frege: A Guide for the Perplexed, Continuum, Guides for the Perplexed Series, 2012 この本は主に1879年の Begriffsschrift を解説しているようです。 Michael Nedo Ludwig Wittgenstein: Ein biographisches Album, C. H. Beck, 2012 …