Two papers on the predicate calculus
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Providence (R.I.) :
American mathematical society
1967.
|
| Edició: | 2nd printing with revisions. |
| Col·lecció: | Memoirs of the American Mathematical Society
10 |
| Matèries: | |
| Nota: |
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 |
| Descripció de l’ítem: | Autres tirages : 1952, 1972 |
|---|---|
| Descripció física: | 1 vol. (68 p.) ; 26 cm. |
| Bibliografia: | Bibliogr. p. [67]-68 |
| ISSN: | 0065-9266 |