Addison-Wesley, Advanced Book Program (1979)
Abstract | This article has no associated abstract. (fix it) |
Keywords | Predicate calculus Unsolvability (Mathematical logic |
Categories | (categorize this paper) |
Buy this book |
Find it on Amazon.com
|
Call number | QA9.35.D73 |
ISBN(s) | 020102540X |
DOI | 10.2307/2273168 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
Ein neuer beweis und eine verschärfung für den reduktionstyp ∀∃∀∞(0, 1) mit einer anwendung auf die spektrale darstellung Von prädikaten. [REVIEW]Michael Deutsch & M. Deutsch - 1992 - Mathematical Logic Quarterly 38 (1):559-574.
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Mathematical Logic Quarterly 37 (18):273-288.
View all 7 citations / Add more citations
Similar books and articles
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
A Reduction Class Containing Formulas with One Monadic Predicate and One Binary Function Symbol.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):45-49.
Predicate Provability Logic with Non-Modalized Quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
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 index
2009-01-28
Total views
15 ( #653,505 of 2,419,706 )
Recent downloads (6 months)
1 ( #542,420 of 2,419,706 )
2009-01-28
Total views
15 ( #653,505 of 2,419,706 )
Recent downloads (6 months)
1 ( #542,420 of 2,419,706 )
How can I increase my downloads?
Downloads