1635 results in Bulletin of Symbolic Logic
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 291-293
- Print publication:
- June 2016
-
- Article
- Export citation
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 151-169
- Print publication:
- June 2016
-
- Article
- Export citation
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 294-297
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 287-288
- Print publication:
- June 2016
-
- Article
- Export citation
Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward “Principia Mathematica”, London and New York: Routledge, 2014, c + 954 and 10 plates.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 289-291
- Print publication:
- June 2016
-
- Article
- Export citation
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 238-248
- Print publication:
- June 2016
-
- Article
- Export citation
BSL volume 22 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b2
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 298-304
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
BSL volume 22 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f3
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
LINEAR TIME IN HYPERSEQUENT FRAMEWORK
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 121-144
- Print publication:
- March 2016
-
- Article
- Export citation
THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 105-120
- Print publication:
- March 2016
-
- Article
- Export citation
BSL volume 22 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. b1-b2
- Print publication:
- March 2016
-
- Article
-
- You have access
- Export citation
CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 1-104
- Print publication:
- March 2016
-
- Article
- Export citation
BSL volume 22 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. f1-f3
- Print publication:
- March 2016
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 145-150
- Print publication:
- March 2016
-
- Article
-
- You have access
- Export citation
G. A. Elliott, I. Farah, V. I. Paulsen, C. Rosendal, A. S. Toms, and A. Törnquist. The isomorphism relation for separable C*-algebras. Mathematics Research Letters, vol. 20 (2013), no. 6, pp. 1071–1080. - Marcin Sabok. Completeness of the isomorphism problem for separable C*-algebras. Inventiones Mathematicae, to appear, published online at link.springer.com/journal/222.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 427-430
- Print publication:
- December 2015
-
- Article
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 446-450
- Print publication:
- December 2015
-
- Article
- Export citation
2014–2015 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Henry B. Gonzalez Convention Center San Antonio, TX, USA January 12–13, 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 437-443
- Print publication:
- December 2015
-
- Article
- Export citation
JAAKKO HINTIKKA 1929–2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 431-436
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 496-501
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation