Logics and Type Systems (1993)

by Jan Herman Geuvers, Herman Geuvers, Cover Jean, Bernard Koeman, Cip-gegevens Koninklijke Bibliotheek, Den Haag, Geuvers Jan Herman