General Logics and Logical Frameworks (1994)

by N Martí-Oliet, J Meseguer
Venue:What is a Logical System? 355-391