Allwein, Gerard, 1956-
Allwein, Gerard
VIAF ID: 25711871 ( Personal )
Permalink: http://viaf.org/viaf/25711871
Preferred Forms
- 200 _ | ‡a Allwein ‡b Gerard ‡f 1956-....
- 100 1 _ ‡a Allwein, Gerard
-
-
-
-
- 100 1 _ ‡a Allwein, Gerard ‡d 1956-
-
- 100 1 _ ‡a Allwein, Gerard, ‡d 1956-
-
- 100 1 _ ‡a Allwein, Gerard, ‡d 1956-
- 100 1 0 ‡a Allwein, Gerard, ‡d 1956-
Works
Title | Sources |
---|---|
The duality of algebraic and Kripke models for linear logic, 1992: | |
Hyperproof | |
Language proof and logic | |
Logical reasoning with diagrams | |
Qualitative decision theory via channel theory | |
Simulation logic | |
Sprache, Beweis und Logik |