1635 results in Bulletin of Symbolic Logic
OUROBOROS: WORKSHOP ON FORMAL CRITERIA OF SELF-REFERENCE IN MATHEMATICS AND PHILOSOPHY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bonn, Germany February 16–18, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 544-545
- Print publication:
- December 2018
-
- Article
- Export citation
Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa’s work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 464-465
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
On the Strength of PFA(ℵ2) in Conjunction with a Precipitous Ideal on ɷ1 and Namba-Like Forcings on Successors of Regular Cardinals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 456-457
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
CIE 2018: SAILING ROUTES IN THE WORLD OF COMPUTATION CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Kiel, Germany July 31–August 3, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 550
- Print publication:
- December 2018
-
- Article
- Export citation
WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 546
- Print publication:
- December 2018
-
- Article
- Export citation
2017–2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Diego Convention Center and Marriott Marquis San Diego Marina San Diego, CA January 12–13, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 484-492
- Print publication:
- December 2018
-
- Article
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 557-562
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 535
- Print publication:
- December 2018
-
- Article
- Export citation
CANTORIAN SET THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 393-451
- Print publication:
- December 2018
-
- Article
- Export citation
Advances in Classification Theory for Abstract Elementary Classes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 454-455
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 536
- Print publication:
- December 2018
-
- Article
- Export citation
TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 537-538
- Print publication:
- December 2018
-
- Article
- Export citation
BSL volume 24 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. b1-b7
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Computations of Vapnik–Chervonenkis Density in Various Model-Theoretic Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 459
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Independence in Model Theory and Team Semantics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 461-462
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Coding into Inner Models at the Level of Strong Cardinals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 456
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 543
- Print publication:
- December 2018
-
- Article
- Export citation
25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 548-549
- Print publication:
- December 2018
-
- Article
- Export citation
17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,México June 26–30, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 340-376
- Print publication:
- September 2018
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 388-391
- Print publication:
- September 2018
-
- Article
-
- You have access
- Export citation