Home Advanced Search

Advanced Search - Page 1

Bibliography of Natural History Travel Narratives
  • PDF
  • English
  • Year: 2016
  • Author: Anne S. Troelstra
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
  • DJVU
  • English
  • Year: 1969
  • Author: Anne S. Troelstra
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • DJVU
  • English
  • Year: 1973
  • Author: Anne S. Troelstra
Constructivism in mathematics: An introduction
  • DJVU
  • English
  • Year: 1988
  • Author: Anne S. Troelstra, Dirk 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
Ω-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.)
Basic Proof Theory
  • DJVU
  • English
  • Year: 1996
  • Author: A. S. Troelstra, H. Schwichtenberg
Basic Proof Theory
  • PDF
  • English
  • Year: 1996
  • Author: A. S. Troelstra, H. Schwichtenberg
Constructivism in mathematics: An introduction
  • PDF
  • English
  • Year: 1988
  • Author: A. S. Troelstra and D. van Dalen
search