ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Bulletin of Symbolic Logic container_nxnim3i24fhcvkvgruk2dej7yu
Cambridge University Press
Homepage URLs
Example Publications
A WALK WITH GOODSTEIN
David Fernández Duque, Andreas Weiermann
2024 | Bulletin of Symbolic Logic doi:10.1017/bsl.2024.1
SATURATED MODELS FOR THE WORKING MODEL THEORIST
Yatir Halevi, Itay Kaplan
2023 | Bulletin of Symbolic Logic doi:10.1017/bsl.2023.6
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
KAREL HRBACEK, Mikhail Katz
2022 | Bulletin of Symbolic Logic doi:10.1017/bsl.2022.43
On Double-Membership Graphs of Models of Anti-Foundation
Bea Adam-Day, John Howe, Rosario Mennuni
2022 | Bulletin of Symbolic Logic doi:10.1017/bsl.2022.37
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
MICHAEL SHULMAN
2022 | Bulletin of Symbolic Logic doi:10.1017/bsl.2022.28