Fibring logics with topos semantics (0)

by M E Coniglio, A Sernadas, C Sernadas
Venue:Journal of Logic and Computation