General logics (1989)

by J Meseguer
Venue:Logic Colloquim ’87. Proceedings of the Colloquium Held in