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)
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
  • PDF
  • English
  • Year: 2012
  • Author: Schwichtenberg, Helmut; Wainer, Stanley S
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
The Legacy of Kurt Schütte
  • PDF
  • English
  • Year: 2020
  • Author: Reinhard Kahle, Michael Rathjen
Gentzen's Centenary, The Quest for Consistency
  • PDF
  • English
  • Year: 2015
  • Author: Reinhard Kahle, Michael Rathjen (eds.)
Apartness and Uniformity: A Constructive Development
  • PDF
  • English
  • Year: 2011
  • Author: Douglas S. Bridges, Luminiţa Simona Vîţă
Mathematics for Computation (M4C)
  • PDF
  • English
  • Year: 2023
  • Author: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Response to land degradation
  • PDF
  • English
  • Year: 2001
  • Author: Bridges, Michael; Leslie, Robin N
search