Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
The notion of formal space was introduced by Fourman and Grayson [FG] only a few years ago, but it is only a recent though important step of a long story whose roots involve such names as Brouwer and Stone and whose development is due to mathematicians from different fields, mainly algebraic geometry, category theory and logic.
Publication details
DOI: 10.1007/978-1-4613-0897-3_12
Full citation:
Sambin, G. (1987)., Intuitionistic formal spaces — a first communication, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 187-204.
This document is unfortunately not available for download at the moment.