ウィキペディアの「直観主義論理」の項に記されているその第一人者らしい
アレン・ハイティングという人の詳細を知りたいのですが、webcatでも、
ヤフー検索でも見つかりません。つづりはAllen Heitingではないのでしょうか？
彼自身がたとえばintuitive Logikというような表現を使っているのでしょうか？
私は、Logikという語をウィキペディアで書かれているように使ってしまうのは良
くないのではないかと思っているのですが。
ご教示をよろしくお願いいします。