Logic, Proof, and Sets

Journal of Symbolic Logic 50 (3):860-862 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274346

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

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

Review: Marvin L. Bittinger, Logic, Proof, and Sets. [REVIEW]Anne Leggett - 1985 - Journal of Symbolic Logic 50 (3):860-862.
Logic and Proof.Marvin L. Bittinger - 1970 - Addison Wesley Publishing Company.
The complexity of orbits of computably enumerable sets.Peter A. Cholak, Rodney Downey & Leo A. Harrington - 2008 - Bulletin of Symbolic Logic 14 (1):69 - 87.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Describing proofs by short tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
A new proof that analytic sets are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
Revisiting completeness for the Kn modal logics: a new proof.T. Nicholson, R. Jennings & D. Sarenac - 2000 - Logic Journal of the IGPL 8 (1):101-105.
Cai and empirical explorations of deductive proof construction.Marvin Croy - manuscript
A decomposition of the Rogers semilattice of a family of d.c.e. sets.Serikzhan A. Badaev & Steffen Lempp - 2009 - Journal of Symbolic Logic 74 (2):618-640.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Happy families and completely Ramsey sets.Pierre Matet - 1993 - Archive for Mathematical Logic 32 (3):151-171.
[Omnibus Review].James E. Baumgartner - 1985 - Journal of Symbolic Logic 50 (1):239-240.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Extending Baire property by uncountably many sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,194,738)

6 months
1 (#1,472,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references