Erratum

JOURNAL ARTICLE published September 2010 in Bulletin of Symbolic Logic

XV Latin American Symposium on Mathematical Logic (Slalm 2012)

JOURNAL ARTICLE published September 2013 in The Bulletin of Symbolic Logic

Gottfried Gabriel, Karlheinz Huelser, and Sven Schlotter. Zur Miete bei Frege—Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena. History and Philosophy of Logic, vol. 30 (2009), pp. 369–388.

JOURNAL ARTICLE published June 2010 in The Bulletin of Symbolic Logic

Authors: Matthias Wille

Incompleteness in a General Setting

JOURNAL ARTICLE published March 2007 in Bulletin of Symbolic Logic

Authors: John L. Bell

The Structure of Values and Norms

JOURNAL ARTICLE published December 2002 in The Bulletin of Symbolic Logic

Authors: Patrice Bailhache | Sven Ove Hansson

Choice Sequences and Knowledge States: Extending the Notion of Finite Information to Produce a Clearer Foundation for Intuitionistic Analysis, Keele University, UK, 2017. Supervised by Peter Fletcher

JOURNAL ARTICLE published June 2018 in The Bulletin of Symbolic Logic

Authors: James Firoze Appleby

BSL volume 28 issue 1 Cover and Front matter

JOURNAL ARTICLE published March 2022 in The Bulletin of Symbolic Logic

The Stable core

JOURNAL ARTICLE published June 2012 in The Bulletin of Symbolic Logic

Authors: Sy-david Friedman

Saharon Shelah. Proper and improper forcing. Second edition of JSL L 237. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1998, xlvii + 1020 pp.

JOURNAL ARTICLE published March 2000 in Bulletin of Symbolic Logic

Authors: Péter Komjáath

Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp.

JOURNAL ARTICLE published September 2010 in The Bulletin of Symbolic Logic

Authors: Florian Rabe

Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp.

JOURNAL ARTICLE published December 2007 in Bulletin of Symbolic Logic

Authors: H. B. Enderton

The Constitution and by-laws of the Association for Symbolic Logic

JOURNAL ARTICLE published March 1998 in Bulletin of Symbolic Logic

Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.

JOURNAL ARTICLE published September 2007 in Bulletin of Symbolic Logic

Authors: Robert K. Meyer

N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.

JOURNAL ARTICLE published September 2019 in The Bulletin of Symbolic Logic

Authors: Davide Catta

Independent Families in Complete Boolean Algebras

JOURNAL ARTICLE published December 2002 in The Bulletin of Symbolic Logic

Authors: Klaas Pieter Hart | B. Balcar | F. Franek | Bohuslav Balcar | Jan Pelant | Petr Simon | Boban Velickovic

CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20–22, 2019

JOURNAL ARTICLE published December 2020 in The Bulletin of Symbolic Logic

Martin Davis. The universal computer. The road from Leibniz to Turing. W. W. Norton & Company, New York and London 2000, xii + 257 pp.

JOURNAL ARTICLE published March 2001 in Bulletin of Symbolic Logic

Authors: John W. Dawson

BSL volume 8 issue 3 Cover and Front matter

JOURNAL ARTICLE published September 2002 in Bulletin of Symbolic Logic

Notices

JOURNAL ARTICLE published September 2002 in Bulletin of Symbolic Logic

Notices

JOURNAL ARTICLE published March 2010 in The Bulletin of Symbolic Logic