1635 results in Bulletin of Symbolic Logic
PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24–26, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, p. 418
- Print publication:
- September 2019
-
- Article
- Export citation
BSL volume 25 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 23 October 2019, pp. f1-f3
- Print publication:
- September 2019
-
- Article
-
- You have access
- Export citation
LARGE CARDINALS BEYOND CHOICE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 20 August 2019, pp. 283-318
- Print publication:
- September 2019
-
- Article
- Export citation
ETA-RULES IN MARTIN-LÖF TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 22 July 2019, pp. 333-359
- Print publication:
- September 2019
-
- Article
- Export citation
2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 Udine, Italy July 23–28, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 223-273
- Print publication:
- June 2019
-
- Article
- Export citation
INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 196-207
- Print publication:
- June 2019
-
- Article
- Export citation
BSL volume 25 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. b1-b2
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Completeness of Finite-Rank Differential Varieties
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 220-221
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Self-similarity in the Foundations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 216-217
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Formalization of Context-Free Language Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, p. 214
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Some Applications of Set Theory to Model Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 214-215
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Self-embeddings of Models of Peano Arithmetic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 217-218
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Vaught’s Two-Cardinal Theorem and Notions of Minimality in Continuous Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 215-216
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Regular Tree Languages in the First Two Levels of the Borel Hierarchy
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 221-222
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
A Theory of Stationary Trees and the Balanced Baumgartner–Hajnal–Todorcevic Theorem for Trees
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, p. 219
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
BSL volume 25 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. f1-f4
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
New Directions for Neo-logicism
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 219-220
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Explicit Computational Paths in Type Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 213-214
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 274-281
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
Creatures and Cardinals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 218-219
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation