Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Two papers on the predicate calculus / / by S.C. Kleene
| 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
| 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
| 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 | ||
| ||