Two papers on the predicate calculus
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre papier |
| שפה: | Anglais |
| יצא לאור: |
Providence (R.I.) :
American mathematical society
1967.
|
| מהדורה: | 2nd printing with revisions. |
| סדרה: | Memoirs of the American Mathematical Society
10 |
| נושאים: | |
| הערה: |
Autres tirages : 1952, 1972 |
| Autres localisations: | Voir dans le Sudoc |
| Contient: | • Finite axiomatizability of theories in the predicate calculus using additional predicate symbols • Permutability of inferences in Gentzen's calculi LK and LJ |
תוכן הענינים:
- Permutability of inferences in Gentzen's calculi LK and LJ Finite axiomatizability of theories in the predicate calculus using additional predicate symbols