1635 results in Bulletin of Symbolic Logic
Greg Restall. An introduction to substructural logics. Routledge, London and New York 2000, xiv + 381 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 527-530
- Print publication:
- December 2001
-
- Article
- Export citation
A. V. Arkhangel′skiĭ. O moshchnosti bikompaktov c pervoĭ aksiomoĭ schetnosti. Dok-lady Akademii Nauk SSSR, vol. 187 (1969), pp. 967–970. - A. V. Arhangel′skiĭ. On the cardinality of bicompacta satisfying the first axiom of countability. English translation by Z. Skalsky of the preceding. Soviet mathematics, vol. 10 (1969), pp. 951–955. - R. Pol. Short proofs of two theorems on cardinality of topological spaces. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences Série des sciences mathématiques, astronomique et physiques, vol. 22 (1974), pp. 1245–1249. - Alan Dow. An introduction to applications of elementary submodels to topology. Topology proceedings (Auburn), vol. 13 (1988), pp. 17–72.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 537
- Print publication:
- December 2001
-
- Article
- Export citation
On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 329-344
- Print publication:
- September 2001
-
- Article
- Export citation
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 345-360
- Print publication:
- September 2001
-
- Article
- Export citation
2000-2001 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 404-412
- Print publication:
- September 2001
-
- Article
- Export citation
Jeremy Avigad. Formalizing forcing arguments in subsystems of second-order arithmetic. Annals of pure and applied logic, vol. 82 (1996), pp. 165–191.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-391
- Print publication:
- September 2001
-
- Article
- Export citation
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 21–27.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 391-392
- Print publication:
- September 2001
-
- Article
- Export citation
John Etchemendy. The concept of logical consequence. An unaltered republication of JSL LVII 254. The David Hume series of philosophy and cognitive science reissues. Center for the Study of Language and Information, Stanford 1999, also distributed by Cambridge University Press, New York, vii + 174 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 379-380
- Print publication:
- September 2001
-
- Article
- Export citation
In Memoriam: Joseph R. Shoenfield 1927–2000
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 393-396
- Print publication:
- September 2001
-
- Article
-
- You have access
- Export citation
Jon Barwise and John Etchemendy. Language, proof and logic. In collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, xii + 587 pp. - Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, and Albert Liu. LPL software manual. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, vii + 52 pp. + CD-ROM.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-379
- Print publication:
- September 2001
-
- Article
- Export citation
C. J. Ash and J. Knight. Computable structures and the hyperarithmetical hierarchy. Studies in logic and the foundations of mathematics, vol. 144. Elsevier, Amsterdam etc. 2000, xv + 346 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 383-385
- Print publication:
- September 2001
-
- Article
- Export citation
Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 315-328
- Print publication:
- September 2001
-
- Article
- Export citation
Polish Metric Spaces: Their Classification and Isometry Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-375
- Print publication:
- September 2001
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 436-440
- Print publication:
- September 2001
-
- Article
- Export citation
BSL volume 7 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- September 2001
-
- Article
-
- You have access
- Export citation
2000-2001 Spring Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-419
- Print publication:
- September 2001
-
- Article
- Export citation
Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 380-383
- Print publication:
- September 2001
-
- Article
- Export citation
Joseph R. Shoenfield. Mathematical logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, viii + 344 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 376
- Print publication:
- September 2001
-
- Article
- Export citation
2001 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 420-435
- Print publication:
- September 2001
-
- Article
- Export citation
2000-2001 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 397-403
- Print publication:
- September 2001
-
- Article
- Export citation