Volume 114; Issue 1-3

Annals of Pure and Applied Logic

Volume 114; Issue 1-3
1

Preface

Jaap van Oosten, Harold Schellinx
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 29 KB
english, 2002
2

Refined program extraction from classical proofs

Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 167 KB
english, 2002
3

Logical problems of functional interpretations

Justus Diller
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 135 KB
english, 2002
4

Proof theory in the abstract

J.M.E. Hyland
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 260 KB
english, 2002
6

On uniform weak König's lemma

Ulrich Kohlenbach
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 121 KB
english, 2002
7

Intrinsic reasoning about functional programs I: first order theories

Daniel Leivant
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 259 KB
english, 2002
9

Analyzing realizability by Troelstra's methods

Joan Rand Moschovakis
Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 164 KB
english, 2002
11

Author index

Journal:
Annals of Pure and Applied Logic
Year:
2002
Language:
english
File:
PDF, 27 KB
english, 2002