Home Advanced Search

Advanced Search - Page 1

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)
  • PDF
  • English
  • Year: 2006
  • Author: K. Spies, H. Schwichtenberg
Proof Theory
  • GZ
  • English
  • Year: 1994
  • Author: Schwichtenberg H.
Beweise als Programme
  • GZ
  • German
  • Year: 1996
  • Author: Schwichtenberg H.
Proof theory
  • PDF
  • English
  • Year: 1994
  • Author: Schwichtenberg H.
GI — 9. Jahrestagung: Bonn, 1.–5. Oktober 1979
  • PDF
  • German-English
  • Year: 1979
  • Author: Wolfgang Händler (auth.), K. H. Böhling, P. P. Spies (eds.)
Basic proof theory
  • DJVU
  • English
  • Year: 2000
  • Author: Troelstra A.S., Schwichtenberg H.
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
Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, FRG March 19-29, 1989
  • DJVU
  • English
  • Year: 1990
  • Author: Ambos-Spies K. (Ed), Dold A. (Ed)
STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985
  • DJVU
  • English
  • Year: 1985
  • Author: Klaus Ambos-Spies (auth.), K. Mehlhorn (eds.)
search