Coding into Inner Models at the Level of Strong Cardinals

JOURNAL ARTICLE published December 2018 in The Bulletin of Symbolic Logic

Authors: Marios Koulakis

HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM

JOURNAL ARTICLE published March 2019 in The Bulletin of Symbolic Logic

Authors: JOHN T. BALDWIN | MICHAEL C. LASKOWSKI

David Makinson. Bridges from classical to nonmonotonic logic. Text in Computing, vol. 5. King's College, London, 2005, xvi + 216 pp.

JOURNAL ARTICLE published September 2006 in Bulletin of Symbolic Logic

Authors: Hykel Hosni

1994 Annual Meeting of the Association for Symbolic Logic

JOURNAL ARTICLE published March 1995 in Bulletin of Symbolic Logic

BSL volume 25 issue 3 Cover and Back matter

JOURNAL ARTICLE published September 2019 in The Bulletin of Symbolic Logic

Patricia A. Blanchette. Frege's conception of logic. Oxford University Press, 2012. xv + 190 pp.

JOURNAL ARTICLE published June 2013 in The Bulletin of Symbolic Logic

Authors: G. Aldo Antonelli

Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 (1992), pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 (1996), pp. 11–30.

JOURNAL ARTICLE published September 2000 in Bulletin of Symbolic Logic

Authors: Karl-Heinz Niggl

Computable Calculus

JOURNAL ARTICLE published September 2002 in The Bulletin of Symbolic Logic

Authors: Douglas Bridges | Oliver Aberth

BSL volume 11 issue 4 Cover and Back matter

JOURNAL ARTICLE published December 2005 in Bulletin of Symbolic Logic

BSL volume 13 issue 3 Cover and Back matter

JOURNAL ARTICLE published September 2007 in Bulletin of Symbolic Logic

Lecture Notes in Logic

JOURNAL ARTICLE published September 1999 in Bulletin of Symbolic Logic

Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546.

JOURNAL ARTICLE published December 2000 in Bulletin of Symbolic Logic

Authors: Toshiyasu Arai

Fred Sommers and George Englebretsen. An invitation to formal reasoning. The logic of terms. Ashgate, Aldershot, Burlington, Singapore, and Sydney, 2000, xvi + 260 pp.

JOURNAL ARTICLE published March 2002 in Bulletin of Symbolic Logic

Authors: William C. Purdy

Descriptive set Theory of Families of Small Sets

JOURNAL ARTICLE published December 2007 in Bulletin of Symbolic Logic

Authors: Étienne Matheron | Miroslav Zelený

Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp.

JOURNAL ARTICLE published June 2018 in The Bulletin of Symbolic Logic

Authors: Davide Rizza

AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING

JOURNAL ARTICLE published September 2022 in The Bulletin of Symbolic Logic

Authors: RODRIGO A. FREIRE | PETER HOLY

2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 2022

JOURNAL ARTICLE published September 2022 in The Bulletin of Symbolic Logic

LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE

JOURNAL ARTICLE published June 2016 in The Bulletin of Symbolic Logic

Authors: OLIVIA CARAMELLO | ANNA CARLA RUSSO

International Conference on Theoretical Computer Science (IFIP TCS2000)

JOURNAL ARTICLE published June 2001 in Bulletin of Symbolic Logic

Authors: Takayasu Ito | Co-Sponsored by the Association for Symbolic Logic

2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boise State University Boise, ID, USA March 20–23, 2017

JOURNAL ARTICLE published March 2018 in The Bulletin of Symbolic Logic