最近注文した文献を以下に記します。

  • William Ewald and Wilfried Sieg ed.  David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933, Springer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933 Series, Due in July 2010
  • William Ewald, M. Hallett, U. Majer and W. Sieg ed.  David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917, Springer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933 Series, Due in October 2010
  • Glyn Morrill  Categorial Grammar: Logical Syntax, Semantics, and Processing, Oxford University Press, Due in September 2010