Self provers and 1 sentences
Evan Goris, Joost J. Joosten · Logic Journal of IGPL · 2010
Journal Article Self provers and Σ1 sentences Get access Evan Goris, Evan Goris Department of Computer Science, the Graduate Center of the City University of New York, 365 Fifth avenue, New York, NY 10016, USA.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Joost J. Joosten Joost J. Joosten Departamento de Filosofía, Lógica y Filosofía de la Ciencia, Universidad de Sevilla, c/ Camilo José Cela s/n, 41018 Sevilla, España.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 20, Issue 1, February 2012, Pages 1–21, https://doi.org/10.1093/jigpal/jzp096 Published: 29 January 2010 Article history Received: 23 January 2006 Published: 29 January 2010