Inessential parts of extensions of first-order theories

Studia Logica 28 (1):83 - 99 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
Philosophy of Plato and Aristotle.Muhsin Farabi & Mahdi - 1962 - [New York]: Free Press of Glencoe. Edited by Muhsin Mahdi.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.

Analytics

Added to PP
2009-01-28

Downloads
28 (#487,825)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?