Relational sheaves and predicate intuitionistic modal logic (1999)

by Barnaby P. Hilken
Citations:1 - 0 self