1635 results in Bulletin of Symbolic Logic
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 91-93
- Print publication:
- March 2002
-
- Article
- Export citation
Symbolic Logic. Logic Colloquium
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 111-180
- Print publication:
- March 2002
-
- Article
- Export citation
BSL volume 8 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- March 2002
-
- Article
-
- You have access
- Export citation
Fixed Point Logics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-88
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 101-104
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-101
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 95-97
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 97-100
- Print publication:
- March 2002
-
- Article
- Export citation
Groups and Algebras of Binary Relations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 38-64
- Print publication:
- March 2002
-
- Article
- Export citation
BSL volume 8 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
- Print publication:
- March 2002
-
- Article
-
- You have access
- Export citation
In Memoriam: Willard van Orman Quine 1908–2000
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 105-110
- Print publication:
- March 2002
-
- Article
-
- You have access
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 94-95
- Print publication:
- March 2002
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 181-184
- Print publication:
- March 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
- Print publication:
- March 2002
-
- Article
- Export citation
Stewart Shapiro. Thinking about mathematics. The philosophy of mathematics. Oxford University Press, Oxford and New York 2000, xiii + 308 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 89-91
- Print publication:
- March 2002
-
- Article
- Export citation
The Road to Modern Logic—An Interpretation
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 441-484
- Print publication:
- December 2001
-
- Article
- Export citation
James E. Baumgartner. Generic graph construction. The journal of symbolic logic, vol. 49 (1984), pp. 234–240. - Matthew Foreman and Richard Laver. Some downwards transfer properties for ℵ2 . Advances in mathematics, vol. 67 (1988), pp. 230–238. - Saharon Shelah. Incompactness for chromatic numbers of graphs. A tribute to Paul Erdős, edited by A. Baker, B. Bollobas, and A. Hajnal, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1990, pp. 361–371.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 539-541
- Print publication:
- December 2001
-
- Article
- Export citation
Masahiro Hamano and Mitsuhiro Okada. A direct independence proof of Buchholz's Hydra game on finite labeled trees. Archive for mathematical logic, vol. 37 no. 2 (1998), pp. 67–89.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 534-535
- Print publication:
- December 2001
-
- Article
- Export citation
B. È. Shapirovskiĭ. O π-kharaktere i π-vese v bikompaktakh. Doklady Akademii Nauk SSSR, vol. 223 (1975), pp. 799–802. - B. È. Šapirovskiĭ. On π-character and π-weight in compact Hausdorff spaces. English translation by I. Juhász of the preceding. Soviet mathematics, vol. 16 no. 4 (for 1975, pub. 1976), pp. 999–1004. - B. È. Shapirovskiĭ. Ob otobrazheniyakh na Tikhonovskie kuby. Uspekhi matematich-eskikhnauk, vol. 35 no. 3 (1980), pp. 122–130. - B. E. Shapirovskii. Maps onto Tikhonov cubes. English translation by A. West of the preceding. Russian mathematical surveys, vol. 35 no. 3 (1980), pp. 145–156.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 536-537
- Print publication:
- December 2001
-
- Article
- Export citation