Fibring logics (1999)

by Dov M Gabbay