Tableau systems for first order number theory and certain higher order theories
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin ; New York :
Springer
cop. 1975.
|
| Seri Bilgileri: | Lecture notes in mathematics
447 |
| Konular: | |
| 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 |
| Fiziksel Özellikler: | 1 vol. (339 p.) ; 25 cm. |
|---|---|
| Bibliyografya: | Bibliogr. p. 335-339 |
| ISBN: | 3540071490 (Berlin) 0387071490 (New York) |