Continuous Abstract Data Types for Verified Computation

JOURNAL ARTICLE published December 2021 in The Bulletin of Symbolic Logic

Authors: Sewon Park

ASSOCIATION FOR SYMBOLIC LOGIC

JOURNAL ARTICLE published December 2017 in The Bulletin of Symbolic Logic

BSL volume 5 issue 3 Cover and Front matter

JOURNAL ARTICLE published September 1999 in Bulletin of Symbolic Logic

Johann Heinrich Lambert. Philosophische Schriften. Vol. VIII: Kleinere philosophische Abhandlungen und Rezensionen. edited by A. Emmel and A. Spree, Georg Olms Verlag, Hildesheim, Zurich and New York 2007, Part 1: xlii + pp. 1–474; Part 2: pp. 475–763.

JOURNAL ARTICLE published June 2008 in Bulletin of Symbolic Logic

Authors: Volker Peckhaus

Association for Symbolic Logic

JOURNAL ARTICLE published September 2013 in The Bulletin of Symbolic Logic

Reviews, Bull. Symbolic Logic 19, iss. 4 (2013)

JOURNAL ARTICLE published December 2013 in Bulletin of Symbolic Logic

BSL volume 26 issue 3-4 Cover and Back matter

JOURNAL ARTICLE published December 2020 in The Bulletin of Symbolic Logic

La filosofia di Gottlob Frege, edited by Nicla Vassallo, Franco Angeli, Milano, 2003, 237 pp.

JOURNAL ARTICLE published June 2004 in Bulletin of Symbolic Logic

Authors: Miriam Franchella

Filip Widebäck. Identity of proofs. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, vol. 22. Almqvist and Wiksell International, Stockholm, 2001, 85 pp.

JOURNAL ARTICLE published March 2007 in Bulletin of Symbolic Logic

Authors: Sergei Soloviev

On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture

JOURNAL ARTICLE published September 2013 in Bulletin of Symbolic Logic

Authors: Juliette Kennedy

BSL volume 22 issue 3 Cover and Back matter

JOURNAL ARTICLE published September 2016 in The Bulletin of Symbolic Logic

K. Sigmund, J. Dawson, and K. Mühlberger. Kurt Gödel: Das Album. The Album. Vieweg, Wiesbaden 2006, 225 pp.

JOURNAL ARTICLE published December 2007 in Bulletin of Symbolic Logic

Authors: Volker Peckhaus

Foundational theories of classical and constructive mathematics, edited by Giovanni Sommaruga, Springer, 2011. xi + 314 pp.

JOURNAL ARTICLE published March 2012 in The Bulletin of Symbolic Logic

Authors: Roy T. Cook

Advances in Classification Theory for Abstract Elementary Classes

JOURNAL ARTICLE published December 2018 in The Bulletin of Symbolic Logic

Authors: Will Boney

Some Aspects of Model Theory and Finite Structures

JOURNAL ARTICLE published September 2002 in Bulletin of Symbolic Logic

Authors: Eric Rosen

ETA-RULES IN MARTIN-LÖF TYPE THEORY

JOURNAL ARTICLE published September 2019 in The Bulletin of Symbolic Logic

Authors: ANSTEN KLEV

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