Home Advanced Search

Advanced Search - Page 1

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
  • PDF
  • English
  • Year: 2012
  • Author: Schwichtenberg, Helmut; Wainer, Stanley S
Proofs and Computations
  • PDF
  • English
  • Year: 2012
  • Author: Helmut Schwichtenberg, Stanley S. Wainer
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
  • PDF
  • English
  • Year: 1993
  • Author: Peter Aczel, Harold Simmons, Stanley S. Wainer
Proof and Computation
  • PDF
  • English
  • Year: 1995
  • Author: Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Computational Logic
  • PDF
  • English
  • Year: 1999
  • Author: Ulrich Berger, Helmut Schwichtenberg (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
Logic of Computation
  • PDF
  • English
  • Year: 1997
  • Author: Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Recursion theory, its generalisations and applications: Proceedings Leeds, 1979
  • DJVU
  • English
  • Year: 1980
  • Author: F. R. Drake, S. S. Wainer
Handbook of Constructive Mathematics
  • PDF
  • English
  • Year: 2023
  • Author: Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
search