ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Bulletin of Symbolic Logic
container_nxnim3i24fhcvkvgruk2dej7yu
Cambridge University Press
Homepage URLs
Example Publications
POUR-EL'S LANDSCAPE
Taishi Kurahashi, albert visser
2024
|
Bulletin of Symbolic Logic
doi:10.1017/bsl.2024.26
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES
Hanul Jeon, RICHARD MATTHEWS
2024
|
Bulletin of Symbolic Logic
doi:10.1017/bsl.2024.8
A WALK WITH GOODSTEIN
David Fernández Duque, Andreas Weiermann
2024
|
Bulletin of Symbolic Logic
doi:10.1017/bsl.2024.1
COMPUTABLY COMPACT METRIC SPACES
Rodney Downey, ALEXANDER G. MELNIKOV
2023
|
Bulletin of Symbolic Logic
doi:10.1017/bsl.2023.16
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
G. A. KAVVOS, Daniel Gratzer
2023
|
Bulletin of Symbolic Logic
doi:10.1017/bsl.2023.14