1635 results in Bulletin of Symbolic Logic
Gentzen's Proof of Normalization for Natural Deduction
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-257
- Print publication:
- June 2008
-
- Article
- Export citation
BSL volume 14 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- June 2008
-
- Article
-
- You have access
- Export citation
Nathan Salmon. Metaphysics, mathematics, and meaning. Collected papers, vol. 1. Oxford University Press, Oxford, 2005, xiv + 419 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 262-265
- Print publication:
- June 2008
-
- Article
- Export citation
BSL volume 14 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- March 2008
-
- Article
-
- You have access
- Export citation
Mohammad Ardeshir. Manteghé Riazi (Mathematical Logic). Hermes Publications, Tehran, 2005, 262 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 118-119
- Print publication:
- March 2008
-
- Article
- Export citation
Logicality and Invariance
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 29-68
- Print publication:
- March 2008
-
- Article
- Export citation
BSL volume 14 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b4
- Print publication:
- March 2008
-
- Article
-
- You have access
- Export citation
Gregory Cherlin and Ehud Hrushovski. Finite structures with few types. Annals of Mathematics Studies. Princeton University Press, 2003, vi + 196 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 114-116
- Print publication:
- March 2008
-
- Article
- Export citation
14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 160-161
- Print publication:
- March 2008
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 162-167
- Print publication:
- March 2008
-
- Article
- Export citation
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 123-159
- Print publication:
- March 2008
-
- Article
- Export citation
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-28
- Print publication:
- March 2008
-
- Article
- Export citation
The Complexity of Orbits of Computably Enumerable Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 69-87
- Print publication:
- March 2008
-
- Article
- Export citation
Independence Property and Hyperbolic Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 88-98
- Print publication:
- March 2008
-
- Article
- Export citation
Truth and games: Essays in honour of Gabriel Sandu. edited by Tuomo Aho and Ahti-Veikko Pietarinen, Acta Philosophica Fennica, vol. 78. Societas Philosophica Fennica, Helsinki, 2006, vi + 322 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 119-121
- Print publication:
- March 2008
-
- Article
- Export citation
Corrigendum to “Incompleteness in a General Setting”
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, p. 122
- Print publication:
- March 2008
-
- Article
- Export citation
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 99-113
- Print publication:
- March 2008
-
- Article
- Export citation
Graham Priest. Towards non-being: the logic and metaphysics of intentionality. Oxford University Press, 2005, xi + 190 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 116-118
- Print publication:
- March 2008
-
- Article
- Export citation
2007 Spring Meeting of the 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. 553-560
- Print publication:
- December 2007
-
- Article
- Export citation
Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 540-541
- Print publication:
- December 2007
-
- Article
- Export citation