Volume 164, Number 1, January 2013
: Integration in algebraically closed valued fields with sections.
: Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80].
Volume 164, Number 2, February 2013
, Dale Miller
: Kripke semantics and proof systems for combining intuitionistic logic and classical logic.
: An order-theoretic analysis of interpretations among propositional deductive systems.
Monica Van Dieren
: Erratum to "Categoricity in abstract elementary classes with no maximal models" [Ann. Pure Appl. Logic 141 (2006) 108-147].
Volume 164, Number 3, March 2013
: Characterizing all models in infinite cardinalities.
Volume 164, Number 4, April 2013
: Rudimentary and arithmetical constructive set theory.
Douglas S. Bridges
: Characterising dominated weak-operator continuous functionals on subspaces of B(H).
: Regular opens in constructive topology and a representation theorem for overlap algebras.
: Relating Bishop's function spaces to neighbourhood spaces.
Volume 164, Number 5, May 2013
: Reverse-engineering Reverse Mathematics.
: On the Kolmogorov complexity of continuous real functions.
Volume 164, Number 6, June 2013
: Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness.
: Continuation-passing style models complete for intuitionistic logic.
: Epsilon substitution for first- and second-order predicate logic.
Volume 164, Numbers 7-8, August 2013
: Operations, climbability and the proper forcing axiom.
, Vladimir Rybakov
: Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC+.
Volume 164, Number 9, September 2013