ISBN: 9781568811321 - logic colloquium '90: proceedings of the annual european summer meeting of the association for symbolic logic, held in helsinki, finland, july 15-22, ... notes in logic 2 (lecture notes in logic, 1.) (1 Ergebnisse)