1635 results in Bulletin of Symbolic Logic
Patrick Grim, Gary Mar, and Paul St. Denis. The philosophical computer. Exploratory essays in philosophical computer modeling. With the Group for Logic and Formal Semantics. The MIT Press, Cambridge, Mass., and London, 1998, viii + 323 pp. + CD-ROM
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 347-349
- Print publication:
- September 2000
-
- Article
- Export citation
Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 (1992), pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 (1996), pp. 11–30.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 351-353
- Print publication:
- September 2000
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 397-400
- Print publication:
- September 2000
-
- Article
- Export citation
Applications of Nonstandard Analysis in Additive Number Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 331-341
- Print publication:
- September 2000
-
- Article
- Export citation
Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 (1996), pp. 549–562.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 353-355
- Print publication:
- September 2000
-
- Article
- Export citation
Pablo Domínguez Prieto. Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. Nossa y Jara Editores, Madrid 1995, 289 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 349-351
- Print publication:
- September 2000
-
- Article
- Export citation
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 248-255
- Print publication:
- June 2000
-
- Article
- Export citation
BSL volume 6 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- June 2000
-
- Article
-
- You have access
- Export citation
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 (1998), pp. 7–19.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 221-222
- Print publication:
- June 2000
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 256-262
- Print publication:
- June 2000
-
- Article
- Export citation
Andreas Weiermann. Sometimes slow growing is fast growing. Annals of pure and applied logic, vol. 90 (1997) pp. 91–99.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-223
- Print publication:
- June 2000
-
- Article
- Export citation
Definable Encodings in the Computably Enumerable Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-196
- Print publication:
- June 2000
-
- Article
- Export citation
Formalization in Philosophy
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 162-175
- Print publication:
- June 2000
-
- Article
- Export citation
H. Garth Dales and W. Hugh Woodin. Super-real fields. Totally ordered fields with additional structure. London Mathematical Society monographs, n.s. no. 14. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xv + 357 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-221
- Print publication:
- June 2000
-
- Article
- Export citation
In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. 230-231
- Print publication:
- June 2000
-
- Article
-
- You have access
- Export citation
1999–2000 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 232-247
- Print publication:
- June 2000
-
- Article
- Export citation
Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-229
- Print publication:
- June 2000
-
- Article
- Export citation
Zermelo and the Skolem Paradox
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-161
- Print publication:
- June 2000
-
- Article
- Export citation
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 (1996), pp. 225–261.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 223-225
- Print publication:
- June 2000
-
- Article
- Export citation
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 (1994), pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 (1997), pp. 417–434.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-216
- Print publication:
- June 2000
-
- Article
- Export citation