Bulletin of Symbolic Logic | Revista