Research Article
The Problem of Logical Constants
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-37
-
- Article
- Export citation
Groups and Algebras of Binary Relations
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 38-64
-
- Article
- Export citation
Fixed Point Logics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-88
-
- Article
- Export citation
Reviews
Stewart Shapiro. Thinking about mathematics. The philosophy of mathematics. Oxford University Press, Oxford and New York 2000, xiii + 308 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 89-91
-
- Article
- Export citation
W. Hugh Woodin. The axiom of determinacy, forcing axioms, and the nonstationary ideal. De Gruyter series in logic and its applications, no. 1. Walter de Gruyter, Berlin and New York 1999, vi + 934 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 91-93
-
- Article
- Export citation
R. Dougherty and A. S. Kechris. Hausdorff measures and sets of uniqueness for trigonometric series. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 894–897. - Alexander S. Kechris and Alain Louveau. Covering theorems for uniqueness and extended uniqueness sets. Colloquium mathematicum, vol. 59 (1990), pp. 63–79. - Alexander S. Kechris. Hereditary properties of the class of closed sets of uniqueness for trigonometric series. Israel journal of mathematics, vol. 73 (1991), pp. 189–198. - A. S. Kechris and A. Louveau. Descriptive set theory and harmonic analysis. The journal of symbolic logic, vol. 57 (1992), pp. 413–441.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 94-95
-
- Article
- Export citation
Advances in modal logic, Volume 1, edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakharyaschev, CSLI lecture notes, no. 87, Center for the Study of Language and Information, Stanford 1998, also distributed by Cambridge University Press, New York, xvi + 392 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 95-97
-
- Article
- Export citation
Fred Sommers and George Englebretsen. An invitation to formal reasoning. The logic of terms. Ashgate, Aldershot, Burlington, Singapore, and Sydney, 2000, xvi + 260 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 97-100
-
- Article
- Export citation
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-101
-
- Article
- Export citation
Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. The Wadsworth & Brooks/Cole mathematics series. Wadsworth&Brooks/Cole Advanced Books & Software, Pacific Grove, Calif., 1989, xvii + 297 pp. - Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. Second edition of the preceding. Wadsworth, Belmont, Calif., etc., 2000, xii + 299 + 38 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 101-104
-
- Article
- Export citation
Martin Davis. Engines of logic. Mathematicians and the origin of the computer. Paperbound reprint with altered title of BSL VII 65. W. W. Norton & Company, New York and London 2001, xii + 257 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
-
- Article
- Export citation
Anita Burdman Feferman. From Trotsky to Gödel. The life of Jean van Heijenoort. Paperbound reprint with altered title of JSL LVIII 1465. A K Peters, Natick, Mass., 2001, xv + 415 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
-
- Article
- Export citation
Obituary
In Memoriam: Willard van Orman Quine 1908–2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 105-110
-
- Article
-
- You have access
- Export citation
Meeting Report
Symbolic Logic. Logic Colloquium
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 111-180
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 181-184
-
- Article
- Export citation
Front matter
BSL volume 8 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 8 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation