Infinite Set Unification with Application to Categorial Grammar*
Characterization Classes Defined without Equality*
Kripke Bundle Semantics and C-set Semantics*
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics*
Peter hrstr.m and Per Hasle , From Ancient Ideas to Articial Intelligence, Kluwer, Dordrecht, 1995, $ 140 (US), viii + 413 pp. ISBN 0-7923-3586-4