Two papers on the predicate calculus
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Providence (R.I.) :
American mathematical society
1967.
|
| Udgivelse: | 2nd printing with revisions. |
| Serier: | Memoirs of the American Mathematical Society
10 |
| Fag: | |
| Kommentar: |
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 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Kommentarer: |
A demander à la BU Sciences |
|---|
| Sted | Klassifikationsnummer | Type de prêt | Status | |
|---|---|---|---|---|
| Salle de lecture | 967 KLE | Tilgængelig |