論文

  • Demetra Christopoulou  ''On the Synthetic Content of Implicit Definitions,'' in: Logic and Logical Philosophy, vol. 22, no. 1, 2013
  • Andrzej Indrzejczak  ''Introduction [Special Issue: Gentzen's and Jaśkowski's Heritage, 80 Years of Natural Deduction and Sequent Calculi],'' forthcoming in Studia Logica, 28 June 2014
  • Andrzej Indrzejczak  ''A Survey of Nonstandard Sequent Calculi,'' forthcoming in Studia Logica, 3 July 2014
  • Toru Miyama  ''On the Study of Many-valued Logics I,'' 『大阪府立工業高等専門学校研究紀要』、第13巻、1979年
  • Toru Miyama  ''On the Study of Many-valued Logics II,'' 『大阪府立工業高等専門学校研究紀要』、第14巻、1980年
  • 深山徹  「多値論理について (そのIII)」、『大阪府立工業高等専門学校研究紀要』、第16巻、1982年


書籍

後者の本は、大体ながら、前半が Heidegger の話、後半が Mach の話になっていて、前者の本と内容が共通しているので、この後者の本も今回購入。