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
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
Basic Proof Theory
  • DJVU
  • English
  • Year: 1996
  • Author: A. S. Troelstra, H. Schwichtenberg
Basic Proof Theory
  • PDF
  • English
  • Year: 2000
  • Author: A. S. Troelstra, H. Schwichtenberg
search