Home Advanced Search

Advanced Search - Page 1

Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
  • PDF
  • English
  • Year: 1982
  • Author: D. Van Dalen, D. Lascar and T.J. Smiley (Eds.)
Mystic, geometer, and intuitionist: The life of L.E.J. Brouwer. Vol.2: Hope and disillusion
  • PDF
  • English
  • Year: 2005
  • Author: van Dalen D.
Brouwer's Cambridge Lectures on Intuitionism
  • DJVU
  • English
  • Year: 1981
  • Author: D. van Dalen
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
  • PDF
  • English
  • Year: 1982
  • Author: A.S. Troelstra and D. van Dalen (Eds.)
Logic Colloquium '78: Proceedings Mons, 1978
  • DJVU
  • English
  • Year: 1979
  • Author: Boffa M., van Dalen D., McAloon K. (eds.)
L.E.J.Brouwer Centenary Symposium Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: A.S. Troelstra, D.van Dalen, D. Van Dalen
Constructivism in mathematics: An introduction
  • PDF
  • English
  • Year: 1988
  • Author: A. S. Troelstra and D. van Dalen
Sets and integration. An outline of the development
  • DJVU
  • English
  • Year: 1972
  • Author: van Dalen D., Monna A.F
Constructivism in Mathematics: An Introduction
  • PDF
  • English
  • Year: 1988
  • Author: A. S. Troelstra, D. van Dalen
Sets and integration An outline of the development
  • PDF
  • English
  • Year: 1972
  • Author: D. van Dalen, A. F. Monna (auth.)
search