Home Advanced Search

Advanced Search - Page 1

Handbook of Constructive Mathematics
  • PDF
  • English
  • Year: 2023
  • Author: Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
Handbook of Constructive Mathematics
  • PDF
  • English
  • Year: 2023
  • Author: Douglas Bridges (editor), Hajime Ishihara (editor), Michael Rathjen (editor), Helmut Schwichtenberg (editor)
Proof and Computation
  • PDF
  • English
  • Year: 1995
  • Author: Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
The Legacy of Kurt Schütte
  • PDF
  • English
  • Year: 2020
  • Author: Reinhard Kahle, Michael Rathjen
Computability: A Mathematical Sketchbook
  • PDF
  • English
  • Year: 2013
  • Author: Douglas S. Bridges
Foundations of real and abstract analysis
  • PDF
  • English
  • Year: 2005
  • Author: Bridges, Douglas S
Techniques of Constructive Analysis
  • PDF
  • English
  • Year: 2006
  • Author: Douglas S. Bridges
Computability: A Mathematical Sketchbook
  • DJVU
  • English
  • Year: 1994
  • Author: Douglas S. Bridges
Computability: A Mathematical Sketchbook
  • PDF
  • English
  • Year: 1994
  • Author: Douglas S. Bridges
Foundations of Real and Abstract Analysis
  • PDF
  • English
  • Year: 1997
  • Author: Douglas S. Bridges
search