Home Advanced Search

Advanced Search - Page 1

Intuitionistic General Topology [PhD Thesis]
  • DJVU
  • English
  • Year: 1966
  • Author: A.S. Troelstra
Principles of Intuitionism
  • PDF
  • English
  • Year: 1969
  • Author: Troelstra A.S.
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
  • PDF
  • English
  • Year: 1973
  • Author: Troelstra A.S.
Basic proof theory
  • DJVU
  • English
  • Year: 2000
  • Author: Troelstra A.S., Schwichtenberg H.
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
  • DJVU
  • English
  • Year: 1982
  • Author: A.S. Troelstra, 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.)
L.E.J.Brouwer Centenary Symposium Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: A.S. Troelstra, D.van Dalen, D. Van Dalen
Lectures on Linear Logic
  • PDF
  • English
  • Year: 1992
  • Author: A. S. Troelstra
Choice Sequences: A Chapter of Instuitionistic Mathematics
  • DJVU
  • English
  • Year: 1977
  • Author: A. S. Troelstra
Lectures on Linear Logic
  • DJVU
  • English
  • Year: 1992
  • Author: A. S. Troelstra
search