Greg Restall “[Review of] R. Brady, Universal logic, CSLI Lecture Notes, Number 109, CSLI Publications, Stanford, 2006. xii + 346 pp.,” in: The Bulletin of Symbolic Logic, vol. 13, no. 4, 2007 Yuichi Komori “Logic Based on Combinators,” in…

J. Roger Hindley Basic Simple Type Theory, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 42, 2008 (Hardback Edition First Published in 1997)

注文した文献と、入手した文献の名前を記すだけにします。