The Bulletin of Symbolic Logic, Volume 14

Volume 14, Number 1, March 2008

• Ian Pratt-Hartmann:
  On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics. 1-28
  
• Denis Bonnay:
  Logicality and Invariance. 29-68
  

• Peter Cholak, Rodney G. Downey, Leo Harrington:
  The Complexity of Orbits of Computably Enumerable Sets. 69-87
  
• Eric Jaligot, Alexey Muranov, Azadeh Neman:
  Independence Property and Hyperbolic Groups. 88-98
  
• Matteo Viale:
  Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. 99-113
  

Volume 14, Number 2, June 2008

• Sasha Rubin:
  Automata Presenting Structures: A Survey of the Finite String Case. 169-209
  
• Siegfried Gottwald:
  Mathematical Fuzzy Logics. 210-239
  
• Jan von Plato:
  Gentzen's Proof of Normalization for Natural Deduction. 240-257
  

Volume 14, Number 3, September 2008

• Steven Awodey:
  A Brief Introduction to Algebraic Set Theory. 281-298
  
• Nachum Dershowitz, Yuri Gurevich:
  A Natural Axiomatization of Computability and Proof of Church's Thesis. 299-350
  
• Akihiro Kanamori:
  Cohen and Set Theory. 351-378
  
• Dana S. Scott, Dominic McCarty:
  Reconsidering Ordered Pairs. 379-397
  

Volume 14, Number 4, December 2008

• Vladimir Pestov:
  Hyperlinear and Sofic Groups: A Brief Guide. 449-480
  
• Rafal Gruszczynski, Andrzej Pietruszczak:
  Full Development of Tarski's Geometry of Solids. 481-540