Tableau systems for first order number theory and certain higher order theories
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin ; New York :
Springer
cop. 1975.
|
| Collection: | Lecture notes in mathematics
447 |
| Sujets: | |
| 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 |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Magasin | B109-447 | Disponible |