Two papers on the predicate calculus
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre papier |
| Idioma: | Anglais |
| Publicado: |
Providence (R.I.) :
American mathematical society
1967.
|
| Edición: | 2nd printing with revisions. |
| Series: | Memoirs of the American Mathematical Society
10 |
| Sujets: | |
| 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 |
| LEADER | 01138nam a22002537a 4500 | ||
|---|---|---|---|
| 001 | 378397 | ||
| 008 | 101118s1952 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN14795388X | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 084 | |a 03-XX. 2010 | ||
| 100 | 1 | |a Kleene, Stephen Cole, |d 1909-1994. | |
| 245 | 1 | 0 | |a Two papers on the predicate calculus |c S. C. Kleene. |
| 250 | |a 2nd printing with revisions. | ||
| 260 | |a Providence (R.I.) : |b American mathematical society, |c 1967. | ||
| 300 | |a 1 vol. (68 p.) ; |c 26 cm. | ||
| 490 | 0 | |a Memoirs of the American Mathematical Society |x 0065-9266 |v 10 | |
| 500 | |a Autres tirages : 1952, 1972 | ||
| 504 | |a Bibliogr. p. [67]-68 | ||
| 505 | 1 | |a Permutability of inferences in Gentzen's calculi LK and LJ Finite axiomatizability of theories in the predicate calculus using additional predicate symbols | |
| 650 | |a Calcul des prédicats | ||
| 774 | 0 | |t Finite axiomatizability of theories in the predicate calculus using additional predicate symbols | |
| 774 | 0 | |t Permutability of inferences in Gentzen's calculi LK and LJ | |
| 997 | |0 378397 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, 967 KLE | ||