Intuitionistic formal spaces – a first communication (1987)

by Giovanni Sambin
Venue:Mathematical logic and its applications, Plenum