Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
-
e-bok
,
Engelska, 2006