Intuitionistic formal spaces { a rst communication (1987)

by G Sambin