一般注記 |
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)
|