Book:Journal/Bulletin of Symbolic Logic