Sheaves and logic, Applications of Sheaves (1977)

by M P Fourman, D S Scott