New sets of postulates for intuitionistic topology

Troelstra, A. S.

Compositio Mathematica, Volume 20 (1968) p. 211-221

The scientific work of A. Heyting

Troelstra, A. S.

Compositio Mathematica, Volume 20 (1968) p. 3-12

Preface

Van Dalen, D.; Dijkman, J. G.; Kleene, S. C.; Troelstra, A. S.

Compositio Mathematica, Volume 20 (1968) p. 1-1

Finite and infinite in intuitionistic mathematics

Troelstra, A. S.

Compositio Mathematica, Volume 18 (1967) p. 94-116