02458nam 2200553 450 991078876720332120230308172405.00-8218-9889-2(CKB)3360000000463969(EBL)3113537(SSID)ssj0000976606(PQKBManifestationID)11528133(PQKBTitleCode)TC0000976606(PQKBWorkID)11019556(PQKB)10622210(MiAaPQ)EBC3113537(RPAM)0000000642(PPN)195408934(EXLCZ)99336000000046396920750507d1952 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierTwo papers on the predicate calculus /S.C. KleeneRev.Providence :American Mathematical Society,1952.1 online resource (72 pages)Memoirs of the American Mathematical Society ;number 10Cover title."Second printing, with revision, 1967."0-8218-1210-6 Bibliography: pages [67]-68.""PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ""; ""1. THE FORMAL SYSTEM G""; ""2. RELATIONSHIPS IN A PROOF IN G""; ""3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES""; ""4. PERMUTABILITY OF LOGICAL INFERENCES""; ""FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS""; ""1. H-NUMBERS""; ""2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS""; ""3 . THE SYSTEM S[sub(1)]""; ""4. THE SYSTEMS S[sub(2)], S[sub(3)]""; ""5. THE SYSTEMS S[sub(0)], S""; ""6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE""""7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL""""8. EFFECT OF THE AXIOMS OF S[sub(1)]""; ""9. EFFECT OF THE AXIOM OF S[sub(2)]""; ""10. EFFECT OF THE AXIOMS OF S[sub(3)]""; ""11. CONCLUSION OF THE CONSISTENCY PROOF""; ""BIBLIOGRAPHY""Memoirs of the American Mathematical Society ;10.CalculusPredicate calculusCalculus.Predicate calculus.Kleene Stephen Cole1909-1994,57809MiAaPQMiAaPQMiAaPQBOOK9910788767203321Two papers on the predicate calculus3835376UNINA