Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004

, , , , , , , , &
Bulletin of Symbolic Logic 11 (1) (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,667

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 , pp. 468–485. [REVIEW]Timothy J. Carlson - 2000 - Bulletin of Symbolic Logic 6 (3):357-358.
Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg.Christian Rosendal & Sebastien Vasey - 2018 - Bulletin of Symbolic Logic 24 (2):192-194.
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.Henry Towsner - 2016 - Bulletin of Symbolic Logic 22 (4):525-526.
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp. [REVIEW]Steffen Lempp - 2016 - Bulletin of Symbolic Logic 22 (2):287-288.
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp. [REVIEW]Juliette Kennedy - 2014 - Bulletin of Symbolic Logic 20 (1):91-93.
Kalin Theodore A.. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 251–257. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):345-346.
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-494.
Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 , pp. 193–242. [REVIEW]Volker Halbach - 2002 - Bulletin of Symbolic Logic 8 (2):302-303.
Burkhart W. H.. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 259–263. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (4):348-348.
Semon Warren L.. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.

Analytics

Added to PP
2014-01-17

Downloads
31 (#787,721)

6 months
3 (#1,144,105)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Lev Beklemishev
Valentina Harizanov
George Washington University
Penelope J. Maddy
University of California, Irvine
2 more

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references