1635 results in Bulletin of Symbolic Logic
K. Sigmund, J. Dawson, and K. Mühlberger. Kurt Gödel: Das Album. The Album. Vieweg, Wiesbaden 2006, 225 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 547-549
- Print publication:
- December 2007
-
- Article
- Export citation
BSL volume 13 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
Graham Priest. Doubt truth to be a liar. Oxford University Press, 2006, xii + 226 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 541-544
- Print publication:
- December 2007
-
- Article
- Export citation
Descriptive set Theory of Families of Small Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 482-537
- Print publication:
- December 2007
-
- Article
- Export citation
Jonathan Barnes. Truth, etc. Oxford University Press, Oxford, New York, 2007, viii + 568 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 549-552
- Print publication:
- December 2007
-
- Article
- Export citation
Individual Members 2007
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 566-621
- Print publication:
- December 2007
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 622-626
- Print publication:
- December 2007
-
- Article
- Export citation
Ross Brady. Universal logic. CSLI Lecture Notes, vol. 109. CSLI Publications, Stanford, 2006, xii + 346 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 544-547
- Print publication:
- December 2007
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 561-565
- Print publication:
- December 2007
-
- Article
- Export citation
The Complexity of Propositional Proofs
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 417-481
- Print publication:
- December 2007
-
- Article
- Export citation
Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-540
- Print publication:
- December 2007
-
- Article
- Export citation
BSL volume 13 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
2006 Annual Meeting of the Association for Symbolic Logic — Addendum
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, p. 409
- Print publication:
- September 2007
-
- Article
- Export citation
BSL volume 13 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
- Print publication:
- September 2007
-
- Article
-
- You have access
- Export citation
Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-361
- Print publication:
- September 2007
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 412-416
- Print publication:
- September 2007
-
- Article
- Export citation
S. Awodey. Category theory. Oxford Logic Guides, vol. 49. Oxford Sciences Publications, Oxford, 2006, xi + 256 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 371-372
- Print publication:
- September 2007
-
- Article
- Export citation
Harry J. Gensler. Historical dictionary of logic. Historical Dictionaries of Religions, Philosophies, and Movements, vol. 65. The Scarecrow Press, Lanham (Maryland), Toronto, and Oxford, 2006, xliv + 307 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 370-371
- Print publication:
- September 2007
-
- Article
- Export citation
Richard Tieszen. Phenomenology, logic, and the philosophy of mathematics. Cambridge University Press, Cambridge, 2005, x + 357 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 365-367
- Print publication:
- September 2007
-
- Article
- Export citation
Peter G. Hinman. Fundamentals of mathematical logic. A K Peters, Wellesley, Massachusetts, 2005, xvi + 878 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 363-365
- Print publication:
- September 2007
-
- Article
- Export citation