The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
2002, volume: 114, number: 1-3

  1. Jaap van Oosten, Harold Schellinx
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:1-2 [Journal]
  2. Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg
    Refined program extraction form classical proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:3-25 [Journal]
  3. Justus Diller
    Logical problems of functional interpretations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:27-42 [Journal]
  4. J. M. E. Hyland
    Proof theory in the abstract. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:43-78 [Journal]
  5. Gerhard Jäger, Thomas Studer
    Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:79-101 [Journal]
  6. Ulrich Kohlenbach
    On uniform weak König's lemma. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:103-116 [Journal]
  7. Daniel Leivant
    Intrinsic reasoning about functional programs I: first order theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:117-153 [Journal]
  8. Ieke Moerdijk, Erik Palmgren
    Type theories, toposes and constructive set theory: predicative aspects of AST. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:155-201 [Journal]
  9. Joan Rand Moschovakis
    Analyzing realizability by Troelstra's methods. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:203-225 [Journal]
  10. Albert Visser
    Substitutions of Sigma10 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:227-271 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002