1635 results in Bulletin of Symbolic Logic
2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 - ADDENDUM
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 February 2020, p. 542
- Print publication:
- December 2019
-
- Article
- Export citation
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 19 December 2019, pp. 429-445
- Print publication:
- December 2019
-
- Article
- Export citation
Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler’s Order
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 February 2020, pp. 454-455
- Print publication:
- December 2019
-
- Article
-
- You have access
- Export citation
Some Results in Computability Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 February 2020, pp. 452-453
- Print publication:
- December 2019
-
- Article
-
- You have access
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 February 2020, pp. 533-536
- Print publication:
- December 2019
-
- Article
- Export citation
Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 February 2020, pp. 451-452
- Print publication:
- December 2019
-
- Article
-
- You have access
- Export citation
12TH PANHELLENIC LOGIC SYMPOSIUM (PLS 12, 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Anogeia, Crete, Greece June 26–30, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 420
- Print publication:
- September 2019
-
- Article
- Export citation
26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 421-422
- Print publication:
- September 2019
-
- Article
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 372-380
- Print publication:
- September 2019
-
- Article
- Export citation
CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12–15, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 415
- Print publication:
- September 2019
-
- Article
- Export citation
SYNTAX MEETS SEMANTICS (SYSMICS 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Amsterdam, The Netherlands January 21–25, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 417
- Print publication:
- September 2019
-
- Article
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 423-427
- Print publication:
- September 2019
-
- Article
-
- You have access
- Export citation
THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17–21, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 416
- Print publication:
- September 2019
-
- Article
- Export citation
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 360-362
- Print publication:
- September 2019
-
- Article
- Export citation
ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 419
- Print publication:
- September 2019
-
- Article
- Export citation
FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17–21, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 413
- Print publication:
- September 2019
-
- Article
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18–19, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 363-371
- Print publication:
- September 2019
-
- Article
- Export citation
2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20–23, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. 381-412
- Print publication:
- September 2019
-
- Article
- Export citation
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22–28, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 414
- Print publication:
- September 2019
-
- Article
- Export citation
BSL volume 25 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. b1-b2
- Print publication:
- September 2019
-
- Article
-
- You have access
- Export citation