General Logics, Logic Colloquium `87, Eds. Ebbinghaus et al (1989)

by Jose Meseguer