Logics and Type Systems (1993)
by
Jan Herman Geuvers
,
Herman Geuvers
,
Cover Jean
,
Bernard Koeman
,
Cip-gegevens Koninklijke Bibliotheek
,
Den Haag
,
Geuvers Jan Herman
| Citations: | 73 - 5 self |
Document Versions
| Logics and Type Systems –Jan Herman Geuvers, Herman Geuvers, Cover Jean, Bernard Koeman, Cip-gegevens Koninklijke Bibliotheek, Den Haag, Geuvers Jan Herman — 1993 |
