1968
Ce document est lié à :
0010-437X
A. S. Troelstra, « New sets of postulates for intuitionistic topology », Compositio Mathematica, ID : 10670/1.l0en9u