1635 results in Bulletin of Symbolic Logic
BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 05 January 2021, pp. 257-267
- Print publication:
- December 2020
-
- Article
- Export citation
Filling cages. Reverse mathematics and combinatorial principles
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 300
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 296
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
PROOF SOCIETY SUMMER SCHOOLS AND WORKSHOP ON PROOF THEORY AND ITS APPLICATIONS COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK September 8–13, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 313
- Print publication:
- December 2020
-
- Article
- Export citation
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Colorado Convention Center Denver, CO, USA January 17–18, 2020
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 302-308
- Print publication:
- December 2020
-
- Article
- Export citation
A Categorical Characterization of Accessible Domain
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 298-299
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 287-292
- Print publication:
- December 2020
-
- Article
- Export citation
THE BSL 25TH ANNIVERSARY PRIZE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 207-211
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
BSL volume 26 issue 3-4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. f1-f4
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
YOUNG SET THEORY XII 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria June 26–29, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 309
- Print publication:
- December 2020
-
- Article
- Export citation
Compact Metrizable Structures via Projective Fraïssé Theory With an Application to the Study of Fences
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 299-300
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20–22, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 314
- Print publication:
- December 2020
-
- Article
- Export citation
Invariant Types in Model Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 296-297
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
BSL volume 26 issue 3-4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. b1-b5
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
FINDING THE LIMIT OF INCOMPLETENESS I
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 268-286
- Print publication:
- December 2020
-
- Article
- Export citation
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22–23, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 311
- Print publication:
- December 2020
-
- Article
- Export citation
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4–7, 2020
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 315
- Print publication:
- December 2020
-
- Article
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 316-320
- Print publication:
- December 2020
-
- Article
- Export citation
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany July 21–27, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 310
- Print publication:
- December 2020
-
- Article
- Export citation
COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 05 January 2021, pp. 224-240
- Print publication:
- December 2020
-
- Article
-
- You have access
- Open access
- Export citation