default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 114
Volume 114, Number 1-3, 15 April 2002
- Jaap van Oosten, Harold Schellinx
:
Preface. 1-2 - Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg:
Refined program extraction form classical proofs. 3-25 - Justus Diller:
Logical problems of functional interpretations. 27-42 - J. M. E. Hyland:
Proof theory in the abstract. 43-78 - Gerhard Jäger, Thomas Studer:
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. 79-101 - Ulrich Kohlenbach:
On uniform weak König's lemma. 103-116 - Daniel Leivant:
Intrinsic reasoning about functional programs I: first order theories. 117-153 - Ieke Moerdijk, Erik Palmgren:
Type theories, toposes and constructive set theory: predicative aspects of AST. 155-201 - Joan Rand Moschovakis:
Analyzing realizability by Troelstra's methods. 203-225 - Albert Visser:
Substitutions of Sigma10 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. 227-271
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-22 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
