The decision problem for formulas with a small number of atomic subformulas

&
Journal of Symbolic Logic 38 (3):471-480 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273045

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,053

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

Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII. [REVIEW]Jean-Pierre Bénéjam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Review: Zachary Gleit, Warren Goldfarb, Characters and Fixed Points in Provability Logic. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):715-715.
Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.

Analytics

Added to PP
2009-01-28

Downloads
58 (#353,722)

6 months
18 (#151,117)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.

Add more citations

References found in this work

Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.

Add more references