Two papers on the predicate calculus / / by S.C. Kleene |
Autore | Kleene Stephen Cole <1909-1994, > |
Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
Descrizione fisica | 1 online resource (72 p.) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Calculus
Predicate calculus |
Soggetto genere / forma | Electronic books. |
ISBN | 0-8218-9889-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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"" |
Record Nr. | UNINA-9910480728703321 |
Kleene Stephen Cole <1909-1994, > | ||
Providence : , : American Mathematical Society, , 1952 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Two papers on the predicate calculus / / S.C. Kleene |
Autore | Kleene Stephen Cole <1909-1994, > |
Edizione | [Rev.] |
Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
Descrizione fisica | 1 online resource (72 pages) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Calculus
Predicate calculus |
ISBN | 0-8218-9889-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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"" |
Record Nr. | UNINA-9910788767203321 |
Kleene Stephen Cole <1909-1994, > | ||
Providence : , : American Mathematical Society, , 1952 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Two papers on the predicate calculus / / S.C. Kleene |
Autore | Kleene Stephen Cole <1909-1994, > |
Edizione | [Rev.] |
Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
Descrizione fisica | 1 online resource (72 pages) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Calculus
Predicate calculus |
ISBN | 0-8218-9889-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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"" |
Record Nr. | UNINA-9910812549403321 |
Kleene Stephen Cole <1909-1994, > | ||
Providence : , : American Mathematical Society, , 1952 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|