Normal view
MARC view
Allwein, Gerard, 1956- (Personal Name)
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)