Addendum: “2018 European summer meeting of the Association for Symbolic Logic. Logic colloquium 2018”. (English) Zbl 1431.03007 Bull. Symb. Log. 25, No. 4, 542 (2019). MSC: 03-06 00B05 PDFBibTeX XMLCite Bull. Symb. Log. 25, No. 4, 542 (2019; Zbl 1431.03007) Full Text: DOI
Beklemishev, Lev (ed.) 2019 European summer meeting of the Association for Symbolic Logic: Logic Colloquium 2019. Prague, Czech Republic, August 11–16, 2019. (English) Zbl 1431.03009 Bull. Symb. Log. 25, No. 4, 481-530 (2019). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{L. Beklemishev} (ed.), Bull. Symb. Log. 25, No. 4, 481--530 (2019; Zbl 1431.03009) Full Text: DOI
Bunder, Martin (ed.) The annual conference of the Australasian Association for Logic. University of Wollongong, Australia, July 12, 2019. (English) Zbl 1431.03010 Bull. Symb. Log. 25, No. 4, 479-480 (2019). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{M. Bunder} (ed.), Bull. Symb. Log. 25, No. 4, 479--480 (2019; Zbl 1431.03010) Full Text: DOI
Mustafa, Manat (ed.) Sixteenth Asian logic conference: an official meeting of the Association for Symbolic Logic. Nazarbayev University, Nur-Sultan, Kazakhstan, June 17–21, 2019. (English) Zbl 1431.03012 Bull. Symb. Log. 25, No. 4, 456-478 (2019). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{M. Mustafa} (ed.), Bull. Symb. Log. 25, No. 4, 456--478 (2019; Zbl 1431.03012) Full Text: DOI
Karagila, Asaf Realizing realizability results with classical constructions. (English) Zbl 07167381 Bull. Symb. Log. 25, No. 4, 429-445 (2019). MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{A. Karagila}, Bull. Symb. Log. 25, No. 4, 429--445 (2019; Zbl 07167381) Full Text: DOI arXiv Link Backlinks: MO