Repository | Book | Chapter
Intuitionistic formal spaces — a first communication
pp. 187-204
Abstract
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
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 187-204
DOI: 10.1007/978-1-4613-0897-3_12
Full citation:
Sambin Giovanni (1987) „Intuitionistic formal spaces — a first communication“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 187–204.