Wolfram Pohlers

Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)

1989 · ENGLISH · PDF

View details →

Mathematische Grundlagen der Informatik

2020 · GERMAN · PDF

View details →

Lineare Algebra [Lecture notes]

1998 · GERMAN · PDF

View details →

Logic Colloquium ’02: Lecture Notes in Logic 27

2006 · ENGLISH · PDF

View details →

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

1981 · ENGLISH · PDF

View details →

Proof Theory: The First Step into Impredicativity

2008 · ENGLISH · PDF

View details →

Proof Theory: The First Step into Impredicativity

2008 · ENGLISH · PDF

View details →

Proof Theory: The First Step into Impredicativity

2008 · ENGLISH · PDF

View details →

Proof Theory. An Introduction

1989 · ENGLISH · DJVU

View details →