02665nam 2200517 450 991078861010332120230208211346.00-8218-9988-0(CKB)3360000000464003(EBL)3113683(SSID)ssj0000973481(PQKBManifestationID)11948250(PQKBTitleCode)TC0000973481(PQKBWorkID)10984433(PQKB)10174736(MiAaPQ)EBC3113683(RPAM)0000000676(PPN)195409264(EXLCZ)99336000000046400320750505d1962 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierAn examination of a decision procedure /Francis C. OglesbyProvidence, R.I. :American Mathematical Society,1962.1 online resource (152 pages)Memoirs of the American Mathematical Society ;number 44Cover title.0-8218-1244-0 Bibliography: pages 148.""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY""Memoirs of the American Mathematical Society ;44.Logic, Symbolic and mathematicalPredicate calculusLogic, Symbolic and mathematical.Predicate calculus.Oglesby Francis C.1542959MiAaPQMiAaPQMiAaPQBOOK9910788610103321An examination of a decision procedure3796148UNINA