Annals of Pure and Applied Logic, Volume 114

Volume 114, Number 1-3, 15 April 2002

• Jaap van Oosten, Harold Schellinx: Preface. 1-2 BibTeX
• Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. 3-25 BibTeX
• Justus Diller: Logical problems of functional interpretations. 27-42 BibTeX
• J. M. E. Hyland: Proof theory in the abstract. 43-78 BibTeX
• Gerhard Jäger, Thomas Studer: Extending the system T₀ of explicit mathematics: the limit and Mahlo axioms. 79-101 BibTeX
• Ulrich Kohlenbach: On uniform weak König's lemma. 103-116 BibTeX
• Daniel Leivant: Intrinsic reasoning about functional programs I: first order theories. 117-153 BibTeX
• Ieke Moerdijk, Erik Palmgren: Type theories, toposes and constructive set theory: predicative aspects of AST. 155-201 BibTeX
• Joan Rand Moschovakis: Analyzing realizability by Troelstra's methods. 203-225 BibTeX
• Albert Visser: Substitutions of Sigma₁⁰ - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. 227-271 BibTeX