LEADER 02458nam  2200553   450 
001 9910812549403321
005 20230308172405.0
010   $a0-8218-9889-2
035   $a(CKB)3360000000463969
035   $a(EBL)3113537
035   $a(SSID)ssj0000976606
035   $a(PQKBManifestationID)11528133
035   $a(PQKBTitleCode)TC0000976606
035   $a(PQKBWorkID)11019556
035   $a(PQKB)10622210
035   $a(MiAaPQ)EBC3113537
035   $a(RPAM)0000000642
035   $a(PPN)195408934
035   $a(EXLCZ)993360000000463969
100   $a20750507d1952      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTwo papers on the predicate calculus /$fS.C. Kleene
205   $aRev.
210  1$aProvidence :$cAmerican Mathematical Society,$d1952.
215   $a1 online resource (72 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vnumber 10
300   $aCover title.
300   $a"Second printing, with revision, 1967."
311 0 $a0-8218-1210-6 
320   $aBibliography: pages [67]-68.
327   $a""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""
327   $a""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""
410  0$aMemoirs of the American Mathematical Society ;$v10.
606   $aCalculus
606   $aPredicate calculus
615  0$aCalculus.
615  0$aPredicate calculus.
700   $aKleene$b Stephen Cole$f1909-1994,$057809
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910812549403321
996   $aTwo papers on the predicate calculus$94114880
997   $aUNINA