Isbn: 9783540646686 - logic colloquium '96: "proceedings of the colloquium held in san sebastián, spain, july 9 15, 1996" (lecture notes in logic, band 12) (1 Ergebnisse)