Vai al contenuto principale della pagina
Autore: | Kleene Stephen Cole <1909-1994, > |
Titolo: | Two papers on the predicate calculus / / S.C. Kleene |
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 |
Opac: | Controlla la disponibilità qui |