Annals of Pure and Applied Logic, Volume 153

Volume 153, Numbers 1-3, April 2008

• Steffen van Bakel, Stefano Berardi:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Stéphane Lengrand, Alexandre Miquel:
  Classical F_omega, orthogonality and symmetric candidates. 3-20
  Electronic Edition (link) BibTeX
• Koji Nakazawa, Makoto Tatsuta:
  Strong normalization of classical natural deduction with disjunctions. 21-37
  Electronic Edition (link) BibTeX
• Kentaro Kikuchi:
  Call-by-name reduction and cut-elimination in classical logic. 38-65
  Electronic Edition (link) BibTeX
• Noam Zeilberger:
  On the unity of duality. 66-96
  Electronic Edition (link) BibTeX
• Monika Seisenberger:
  Programs from proofs using classical dependent choice. 97-110
  Electronic Edition (link) BibTeX
• Stefano Berardi, Yoriyuki Yamagata:
  A sequent calculus for limit computable mathematics. 111-126
  Electronic Edition (link) BibTeX