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

LEADER 01666nam  2200457   450 
001 9910824646903321
005 20200520144314.0
010   $a91-7685-909-6
035   $a(CKB)3710000001032883
035   $a(Au-PeEL)EBL4394216
035   $a(CaPaEBR)ebr11160706
035   $a(OCoLC)945609781
035   $a(MiAaPQ)EBC4394216
035   $a(EXLCZ)993710000001032883
100   $a20160316h20162016  uy             0
101 0 $aswe
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aKronan, krigsmanshuset och de sarade soldaterna $estatsmaktens organisering av underhall fo?r aterva?ndande sarade soldater i Sverige under tidigmodern tid /$fErik Petersson ; Linko?pings Universitet, ISAK, Tema kultur och samha?lle (Tema Q), Filosofiska fakulteten
210  1$aLinko?ping, Sweden :$c[Linko?ping University Electronic Press],$d2016.
210  4$dİ2016
215   $a1 online resource (359 pages)
225 1 $aLinko?ping Studies in Arts and Science,$x0282-9800 ;$vNumber 663
320   $aIncludes bibliographical references.
410  0$aLinko?ping studies in arts and science ;$vNumber 663.
606   $aMedicine, Military
615  0$aMedicine, Military.
676   $a616.98023
700   $aPetersson$b Erik$01672159
712 02$aUniversitetet i Linko?ping.
712 02$aISAK, Tema kultur och samha?lle (Tema Q)
712 02$aFilosofiska fakulteten.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910824646903321
996   $aKronan, krigsmanshuset och de sarade soldaterna$94035259
997   $aUNINA