Tableau systems for first order number theory and certain higher order theories
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin ; New York :
Springer
cop. 1975.
|
| Col·lecció: | Lecture notes in mathematics
447 |
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Tableau systems for first order number theory and certain higher order theories, Sue Toledo, Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-37442-8 |