Volume 43, Number 1, July 2008
Volume 43, Number 2, August 2008
: Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
Vladimir V. Rybakov
: Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms.
Volume 43, Numbers 3-4, December 2008
: Dimension Extractors and Optimal Decompression.
: A Hierarchy below the Halting Problem for Additive Machines.
: Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's T.
Johann A. Makowsky
: From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials.
: Classification of Computably Approximable Real Numbers.