もうひとつの「論理とは何か」

本編で、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburger（http://citeseer.ist.psu.edu/723320.html）を紹介したことがある（けっこう良く書けている）のだけど、（ほぼ）同じ題名の論文：

• Title: What is a Logic?
• Authors: Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki
• URL: http://www.tzi.de/~till/papers/nel05.pdf
• 21ページ、印刷した

執筆陣が豪華！