Home Advanced Search

Advanced Search - Page 1

Ω-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.)
Constructivism in mathematics: An introduction
  • DJVU
  • English
  • Year: 1988
  • Author: Anne S. Troelstra, Dirk van Dalen
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
L.E.J.Brouwer Centenary Symposium Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: A.S. Troelstra, D.van Dalen, D. Van Dalen
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer Volume 1: The Dawning Revolution
  • PDF
  • English
  • Year: 1999
  • Author: Dirk Van Dalen
Logic and structure
  • PDF
  • English
  • Year: 2013
  • Author: van Dalen, Dirk
Mystic, geometer, and intuitionist: The life of L.E.J.Brouwer Vol.1. The dawning revolution
  • DJVU
  • English
  • Year: 1999
  • Author: Dirk Van Dalen
A Blaricum Topology for Brouwer
  • PDF
  • English
  • Year: 2005
  • Author: Dirk van Dalen
L. E. J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
  • PDF
  • English
  • Year: 2013
  • Author: Dirk van Dalen
search