The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
2005, volume: 136, number: 1-2

  1. Arnold Beckmann, Jeremy Avigad, Georg Moser
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:1-2 [Journal]
  2. Toshiyasu Arai
    Ideas in the epsilon substitution method for II 1 0-FIX. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:3-21 [Journal]
  3. Matthias Baaz
    Controlling witnesses. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:22-29 [Journal]
  4. Arnold Beckmann, Samuel R. Buss
    Separation results for the size of constant-depth propositional proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:30-55 [Journal]
  5. Lev D. Beklemishev, Albert Visser
    On the limit existence principles in elementary arithmetic and Sigma n 0-consequences of theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:56-74 [Journal]
  6. Wilfried Buchholz
    A term calculus for (co-)recursive definitions on streamlike data structures. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:75-90 [Journal]
  7. Andrea Cantini
    Remarks on applicative theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:91-115 [Journal]
  8. Gerhard Jäger, Thomas Strahm
    Reflections on reflections in explicit mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:116-133 [Journal]
  9. Makoto Tatsuta, Grigori Mints
    A simple proof of second-order strong normalization with permutative conversions. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:134-155 [Journal]
  10. Michael Rathjen
    Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:156-174 [Journal]
  11. Stanley S. Wainer, Richard S. Williams
    Inductive definitions over a predicative arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:175-188 [Journal]
  12. Andreas Weiermann
    Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:189-218 [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