Allwein, Gerard, 1956-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His The duality of algebraic and Kripke models for linear logic, 1992: t.p. (Gerard Allwein) leaf 180 (Gerard Thomas Allwein; b. 9-2-56) SRC:Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu(Seven Bridges Press, 1999) |
生没年等 | 1956- |
コード類 | 典拠ID=A000005007 NCID=DA12568707 |
1 | 論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 東京 : 慶應義塾大学出版会 , 2006.9 |