最近注文した文献を以下に記します。
- 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