1635 results in Bulletin of Symbolic Logic
BSL volume 23 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. f1-f3
- Print publication:
- September 2017
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 374-379
- Print publication:
- September 2017
-
- Article
-
- You have access
- Export citation
2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 345-373
- Print publication:
- September 2017
-
- Article
- Export citation
METAVALUATIONS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 296-323
- Print publication:
- September 2017
-
- Article
- Export citation
BSL volume 23 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. f1-f3
- Print publication:
- June 2017
-
- Article
-
- You have access
- Export citation
23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Mexico August 16–19, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 270-271
- Print publication:
- June 2017
-
- Article
- Export citation
SOME DEFINABLE GALOIS THEORY AND EXAMPLES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 145-159
- Print publication:
- June 2017
-
- Article
-
- You have access
- Export citation
BSL volume 23 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. b1-b2
- Print publication:
- June 2017
-
- Article
-
- You have access
- Export citation
WORKSHOP ON FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS AND SET THEORY (FOMUS 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bielefeld, Germany July 18–23, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 267-268
- Print publication:
- June 2017
-
- Article
- Export citation
2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’16 Leeds, UK July 31–August 6, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 213-266
- Print publication:
- June 2017
-
- Article
- Export citation
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 181-200
- Print publication:
- June 2017
-
- Article
- Export citation
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2016 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 24–30, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, p. 269
- Print publication:
- June 2017
-
- Article
- Export citation
FORCING WITH BUSHY TREES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 160-180
- Print publication:
- June 2017
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 272-277
- Print publication:
- June 2017
-
- Article
-
- You have access
- Export citation
2016 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hilton Chicago Palmer House Hotel Chicago, Illinois March 2–5, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 205-212
- Print publication:
- June 2017
-
- Article
- Export citation
I. Ben Yaacov, J. Melleray, and T. Tsankov, Metrizable universal minimal flows of Polish groups have a comeagre orbit.Geometric and Functional Analysis, vol. 27 (2017), no. 1, pp. 67–77. - J. Melleray, L. Nguyen Van Thé, and T. Tsankov, Polish groups with metrizable universal minimal flows. International Mathematics Research Notices, vol. 2016, no. 5, pp. 1285–1307.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 201-203
- Print publication:
- June 2017
-
- Article
- Export citation
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 203-204
- Print publication:
- June 2017
-
- Article
- Export citation
IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 122-123
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 115-117
- Print publication:
- March 2017
-
- Article
- Export citation
IN SEARCH OF ULTIMATE-L THE 19TH MIDRASHA MATHEMATICAE LECTURES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 1-109
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation