1635 results in Bulletin of Symbolic Logic
John Arnold Kalman. Automated reasoning with Otter. With a foreword by Larry Wos. Rinton Press, Princeton 2001, xv + 536 pp. + CD-ROM.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-429
- Print publication:
- September 2002
-
- Article
- Export citation
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-265
- Print publication:
- June 2002
-
- Article
- Export citation
Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 (1997), pp. 193–242.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 302-303
- Print publication:
- June 2002
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 322-327
- Print publication:
- June 2002
-
- Article
- Export citation
Z. Szentmiklóssy. S-spaces and L-spaces under Martin's axiom. Topology, Volume II, edited by A. Császár, Colloquia mathematica Societatis János Bolyai, no. 23, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1980, pp. 1139–1145. - Zoltán Balogh. On compact Hausdorff spaces of countable tightness. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 755–764.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 306-307
- Print publication:
- June 2002
-
- Article
- Export citation
Thomas Jech. Singular cardinal problem: Shelah's theorem on 2ℵω. Bulletin of the London Mathematical Society, vol. 24 (1992), pp. 127–139.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 308
- Print publication:
- June 2002
-
- Article
- Export citation
Michael Alekhnovich, Sam Buss, Shlomo Moran, and Toniann Pitassi. Minimum propositional proof length is NP-hard to linearly approximate. The journal of symbolic logic, vol. 66 (2001), pp. 171–191.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 301-302
- Print publication:
- June 2002
-
- Article
- Export citation
Maxim R. Burke and Menachem Magidor. Shelah's pcf theory and its applications. Annals of pure and applied logic, vol. 50 (1990), pp. 207–254.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 307-308
- Print publication:
- June 2002
-
- Article
- Export citation
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 321
- Print publication:
- June 2002
-
- Article
- Export citation
Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal logic. Cambridge tracts in theoretical computer science, no. 53. Cambridge University Press, Cambridge, New York, etc., 2001, xxii + 554 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-301
- Print publication:
- June 2002
-
- Article
- Export citation
2001–2002 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 312-318
- Print publication:
- June 2002
-
- Article
- Export citation
The Group Configuration in Simple Theories and its Applications
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 283-298
- Print publication:
- June 2002
-
- Article
- Export citation
Types in Logic and Mathematics Before 1940
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-245
- Print publication:
- June 2002
-
- Article
- Export citation
BSL volume 8 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 2002
-
- Article
-
- You have access
- Export citation
BSL volume 8 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
- Print publication:
- June 2002
-
- Article
-
- You have access
- Export citation
Yoshihiro Abe. Weakly normal filters and the closed unbounded filter on Pkλ. Proceedings of the American Mathematical Society, vol. 104 (1998), pp. 1226–1234. - Yoshihiro Abe. Weakly normal filters and large cardinals. Tsukuba journal of mathematics, vol. 16 (1992), pp. 487–494. - Yoshihiro Abe. Weakly normal ideals on Pkλ and the singular cardinal hypothesis. Fundamenta mathematicae, vol. 143 (1993), pp. 97–106. - Yoshihiro Abe. Saturation of fundamental ideals on Pkλ. Journal of the Mathematical Society of Japan, vol. 48 (1996), pp. 511–524. - Yoshihiro Abe. Strongly normal ideals on Pkλ and the Sup-function. opology and its applications, vol. 74 (1996), pp. 97–107. - Yoshihiro Abe. Combinatorics for small ideals on Pkλ. Mathematical logic quarterly, vol. 43 (1997), pp. 541–549. - Yoshihiro Abe and Masahiro Shioya. Regularity of ultrafilters and fixed points of elementary embeddings. Tsukuba journal of mathematics, vol. 22 (1998), pp. 31–37.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 309-311
- Print publication:
- June 2002
-
- Article
- Export citation
8th Workshop on Logic, Language, Information and Computation (WoLLIC '2001)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 319-320
- Print publication:
- June 2002
-
- Article
- Export citation
Uri Abraham, Matatyahu Rubin, and Saharon Shelah. On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types. Annals of pure and applied logic, vol. 29 (1985), pp. 123–206.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 303-305
- Print publication:
- June 2002
-
- Article
- Export citation
A General Notion of Realizability
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 266-282
- Print publication:
- June 2002
-
- Article
- Export citation
The Problem of Logical Constants
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-37
- Print publication:
- March 2002
-
- Article
- Export citation