1635 results in Bulletin of Symbolic Logic
13th Workshop on Logic, Language, Information and Computation (WoLLIC '2006)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 410-411
- Print publication:
- September 2007
-
- Article
- Export citation
2007 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 386-408
- Print publication:
- September 2007
-
- Article
- Export citation
2006–07 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 375-385
- Print publication:
- September 2007
-
- Article
- Export citation
The architecture of modern mathematics: Essays in history and philosophy, edited by José Ferreirós and Jeremy J. Gray, Oxford University Press, Oxford 2006, xii + 442 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 368-370
- Print publication:
- September 2007
-
- Article
- Export citation
BSL volume 13 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- September 2007
-
- Article
-
- You have access
- Export citation
John L. Bell. The continuous and the infinitesimal in mathematics and philosophy. Polimetrica, International Scientific Publisher, Monza-Milano, 2005, 349 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-363
- Print publication:
- September 2007
-
- Article
- Export citation
Describing Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-339
- Print publication:
- September 2007
-
- Article
- Export citation
Relating First-Order Set Theories and Elementary Toposes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 340-358
- Print publication:
- September 2007
-
- Article
- Export citation
Nonstandard methods and applications in mathematics, edited by Nigel J. Cutland, Mauro di Nasso and David A. Ross, Lecture Notes in Logic, vol. 25. Association for Symbolic Logic, A.K. Peters, Ltd. Wellesley, Massachusetts, 2006. x + 248 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 372-374
- Print publication:
- September 2007
-
- Article
- Export citation
Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-243
- Print publication:
- June 2007
-
- Article
- Export citation
Sergio Galvan. Einführung in die Unvollständigkeitstheoreme. Mentis, Paderborn, 2006, 167 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 243-244
- Print publication:
- June 2007
-
- Article
- Export citation
Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 226-239
- Print publication:
- June 2007
-
- Article
- Export citation
Mark Vorobej. A Theory of Argument. Cambridge University Press, Cambridge, 2006, x + 324 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 245-246
- Print publication:
- June 2007
-
- Article
- Export citation
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 189-225
- Print publication:
- June 2007
-
- Article
- Export citation
BSL volume 13 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
- Print publication:
- June 2007
-
- Article
-
- You have access
- Export citation
BSL volume 13 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 2007
-
- Article
-
- You have access
- Export citation
Anders Kock. Synthetic differential geometry. 2nd edition, London Mathematical Society Lecture Note Series, vol. 333. Cambridge University Press, 2006, xii + 233 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 244-245
- Print publication:
- June 2007
-
- Article
- Export citation
2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 251-298
- Print publication:
- June 2007
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-304
- Print publication:
- June 2007
-
- Article
- Export citation
Mark Burgin. Super-recursive algorithms. Monographs in Computer Science, Springer, New York, 2005, xiv + 304 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-241
- Print publication:
- June 2007
-
- Article
- Export citation