Tait, William (ed.) 2007 Spring Meeting of the Association for Symbolic Logic. The Palmer House Hilton Hotel, Chicago, Illinois, April 19–21, 2007. (English) Zbl 1130.03301 Bull. Symb. Log. 13, No. 4, 553-560 (2007). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{W. Tait} (ed.), Bull. Symb. Log. 13, No. 4, 553--560 (2007; Zbl 1130.03301) Full Text: DOI Euclid
Matheron, Étienne; Zelený, Miroslav Descriptive set theory of families of small sets. (English) Zbl 1152.03042 Bull. Symb. Log. 13, No. 4, 482-537 (2007). Reviewer: Jörg D. Brendle (Kobe) MSC: 03E15 03-02 28A05 54H05 PDFBibTeX XMLCite \textit{É. Matheron} and \textit{M. Zelený}, Bull. Symb. Log. 13, No. 4, 482--537 (2007; Zbl 1152.03042) Full Text: DOI Euclid
Segerlind, Nathan The complexity of propositional proofs. (English) Zbl 1133.03037 Bull. Symb. Log. 13, No. 4, 417-481 (2007). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03-02 PDFBibTeX XMLCite \textit{N. Segerlind}, Bull. Symb. Log. 13, No. 4, 417--481 (2007; Zbl 1133.03037) Full Text: DOI Euclid