Volume 17, Number 1, March 2011 Articles
Volume 17, Number 2, June 2011 Articles
Murdoch James Gabbay
: Foundations of nominal techniques: logic and semantics of variables in abstract syntax.
: A descriptive view of combinatorial group theory.
Volume 17, Number 3, September 2011 Articles
: V = L and intuitive plausibility in set theory. A case study.
: Alan Turing and the foundations of computable analysis.
: A new proof of Friedman's conjecture.
Volume 17, Number 4, December 2011 Articles
Gregory H. Moore
: Early history of the Generalized Continuum Hypothesis: 1878 - 1938.