LEADER 02665nam  2200517   450 
001 9910788610103321
005 20230208211346.0
010   $a0-8218-9988-0
035   $a(CKB)3360000000464003
035   $a(EBL)3113683
035   $a(SSID)ssj0000973481
035   $a(PQKBManifestationID)11948250
035   $a(PQKBTitleCode)TC0000973481
035   $a(PQKBWorkID)10984433
035   $a(PQKB)10174736
035   $a(MiAaPQ)EBC3113683
035   $a(RPAM)0000000676
035   $a(PPN)195409264
035   $a(EXLCZ)993360000000464003
100   $a20750505d1962      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn examination of a decision procedure /$fFrancis C. Oglesby
210  1$aProvidence, R.I. :$cAmerican Mathematical Society,$d1962.
215   $a1 online resource (152 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vnumber 44
300   $aCover title.
311 0 $a0-8218-1244-0 
320   $aBibliography: pages 148.
327   $a""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""""A? 6. Distributive Normal Forms""""A? 7. Kernels of Second Degree Constituents of First Order""; ""A? 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""A? 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""A? 10. SP and the Class I??"" ""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""; ""A? 17. MSP* and NP Zero Order Constituents of Type 0""; ""A? 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY""
410  0$aMemoirs of the American Mathematical Society ;$v44.
606   $aLogic, Symbolic and mathematical
606   $aPredicate calculus
615  0$aLogic, Symbolic and mathematical.
615  0$aPredicate calculus.
700   $aOglesby$b Francis C.$01542959
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910788610103321
996   $aAn examination of a decision procedure$93796148
997   $aUNINA