General logics (1989)

by J Meseguer
Venue:In Logic Colloq.’87