Fibring Logics, vol. 38 of Oxford Logic Guides (1999)

by D Gabbay