Home Advanced Search

Advanced Search - Page 1

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
  • DJVU
  • English
  • Year: 1982
  • Author: A.S. Troelstra, D.van Dalen
L.E.J.Brouwer Centenary Symposium Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: A.S. Troelstra, D.van Dalen, D. Van Dalen
Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic
  • PDF
  • English
  • Year: 1982
  • Author: D.van Dalen, etc.
Intuitionistic General Topology [PhD Thesis]
  • DJVU
  • English
  • Year: 1966
  • Author: A.S. Troelstra
Basic proof theory
  • DJVU
  • English
  • Year: 2000
  • Author: Troelstra A.S., Schwichtenberg H.
Constructivism in mathematics: An introduction
  • PDF
  • English
  • Year: 1988
  • Author: A. S. Troelstra and D. van Dalen
Constructivism in Mathematics: An Introduction
  • PDF
  • English
  • Year: 1988
  • Author: A. S. Troelstra, D. van Dalen
Constructivism in mathematics: An introduction
  • DJVU
  • English
  • Year: 1988
  • Author: Anne S. Troelstra, Dirk van Dalen
Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)
Lectures on Linear Logic
  • PDF
  • English
  • Year: 1992
  • Author: A. S. Troelstra
search