Lewis, H. R. Unsolvable Classes Of Quantificational Formulas [Book Review]

Scientia 76 (117):420 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

LEWIS, H. R. Unsolvable Classes of Quantificational Formulas. [REVIEW]G. Lolli - 1982 - Scientia 76 (17):420.
Unsolvable Classes of Quantificational Formulas.Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
Review: Harry R. Lewis, Unsolvable Classes of Quantificational Formulas. [REVIEW]Dieter Rodding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
Unsolvable classes of quantificational formulas.Harry R. Lewis - 1979 - Reading, Mass.: Addison-Wesley.
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.
The Decision Problem. Solvable Classes of Quantificational Formulas.Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
Prefix classes of Krom formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.
Reduction to first degree in quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
First-Order Formulas in Conjunctive Quantificational Form.Hans Büning - 1988 - Mathematical Logic Quarterly 34 (1):53-64.
Commentary: David Lewis, Parts of Classes, Oxford: Blackwell, 1991.Einar Bøhn - 2011 - Humana Mente 4 (19):151-158.
Variablen im Tractatus.Matthias Varga Von Kibéd - 1993 - Erkenntnis 39 (1):79-100.
First‐Order Formulas in Conjunctive Quantificational Form.Hans Kleine Büning & Theodor Lettmann - 1988 - Mathematical Logic Quarterly 34 (1):53-64.

Analytics

Added to PP
2017-02-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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