Two papers on the predicate calculus / / S.C. Kleene

• Autore: Kleene Stephen Cole <1909-1994, >
• Pubblicazione: Providence : , : American Mathematical Society, , 1952
• Edizione: Rev.
• Descrizione fisica: 1 online resource (72 pages)
• Soggetto topico: Calculus; Predicate calculus
• Note generali: Cover title.; "Second printing, with revision, 1967."
• Nota di bibliografia: Bibliography: pages [67]-68.
• Nota di contenuto: ""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""
• Titolo autorizzato: Two papers on the predicate calculus
• ISBN: 0-8218-9889-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910812549403321
• Lo trovi qui: Univ. Federico II
• Serie: Memoirs of the American Mathematical Society ; ; 10.