Mathematische Grundlagen der Informatik
Book information
Similar books
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
1989 · PDF
Lineare Algebra [Lecture notes]
1998 · PDF
Logic Colloquium ’02: Lecture Notes in Logic 27
2006 · PDF
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981 · PDF
Proof Theory: The First Step into Impredicativity
2008 · PDF
Proof Theory: The First Step into Impredicativity
2008 · PDF
Proof Theory: The First Step into Impredicativity
2008 · PDF
Proof Theory. An Introduction
1989 · DJVU