Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/bsl/bsl30.bht:"
@article{DBLP:journals/bsl/Avron24, author = {Arnon Avron}, title = {Poincar{\'{e}}-Weyl's Predicativity: going beyond}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {41--91}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.2}, doi = {10.1017/BSL.2024.2}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Avron24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/FernandezDuqueW24, author = {David Fern{\'{a}}ndez{-}Duque and Andreas Weiermann}, title = {A Walk with Goodstein}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {1--19}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.1}, doi = {10.1017/BSL.2024.1}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/FernandezDuqueW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Krajicek24, author = {Jan Kraj{\'{\i}}cek}, title = {On the existence of Strong Proof Complexity Generators}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {20--40}, year = {2024}, url = {https://doi.org/10.1017/bsl.2023.40}, doi = {10.1017/BSL.2023.40}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Krajicek24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Uzquiano24, author = {Gabriel Uzquiano}, title = {Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. {CXIX} (2022), no. 8, pp. 405-424}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {92--93}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.6}, doi = {10.1017/BSL.2024.6}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Uzquiano24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24, title = {{BSL} volume 30 issue 1 Cover and Front matter}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {1}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.20}, doi = {10.1017/BSL.2024.20}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24a, title = {{BSL} volume 30 issue 1 Cover and Back matter}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {1}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.21}, doi = {10.1017/BSL.2024.21}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24b, title = {2023 {EUROPEAN} {SUMMER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} {LOGIC} {COLLOQUIUM} 2023 University of Milan Milan, Italy June 5 - June 9, 2023}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {94--139}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.15}, doi = {10.1017/BSL.2024.15}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24c, title = {{SEVENTEENTH} {ASIAN} {LOGIC} {CONFERENCE} {AN} {OFFICIAL} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Nankai University Tianjin, China October 9-13, 2023}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {140--151}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.18}, doi = {10.1017/BSL.2024.18}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24d, title = {2023 {MEETING} {OF} {THE} {AUSTRALASIAN} {ASSOCIATION} {FOR} {LOGIC} University of Queensland Brisbane, Australia 9-10 November, 2023}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {152--165}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.16}, doi = {10.1017/BSL.2024.16}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24e, title = {2024 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} San Francisco, California Joint Mathematics Meeting January 3-6, 2024}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {166--171}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.17}, doi = {10.1017/BSL.2024.17}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24f, title = {2024 {SPRING} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} The Sheraton Times Square, New York, {NY} Eastern {APA} Meeting January 15-18, 2024}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {172--175}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.19}, doi = {10.1017/BSL.2024.19}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/X24g, title = {Association for Symbolic Logic}, journal = {Bull. Symb. Log.}, volume = {30}, number = {1}, pages = {176--180}, year = {2024}, url = {https://doi.org/10.1017/bsl.2024.14}, doi = {10.1017/BSL.2024.14}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/X24g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.