Home Advanced Search

Advanced Search - Page 1

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
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Dirk van Dalen (auth.), Dov M. Gabbay, F. Guenthner (eds.)
Sets and integration An outline of the development
  • PDF
  • English
  • Year: 1972
  • Author: D. van Dalen, A. F. Monna (auth.)
Quantifiers: Logics, models and computation. Vol.1: Surveys
  • DJVU
  • English
  • Year: 1995
  • Author: Krynicki M. et al. (eds.);Davidson, Donald; Hintikka, Jaakko; Van Dalen, Dirk