[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '88, Proceedings of the Colloquium held in Padova Volume 127 || Intuitionistic formal spaces and their neighbourhood
Sambin, GiovanniYear:
1989
Language:
english
DOI:
10.1016/s0049-237x(08)70272-6
File:
PDF, 1.20 MB
english, 1989