Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
| Author/creator | Toledo, Sue Ann, 1940- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, 1975. |
| Description | 339 pages ; 25 cm. |
| Subjects |
| Series | Lecture notes in mathematics ; 447 Lecture notes in mathematics (Springer-Verlag) 447. ^A496146 |
| Local note | Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28. |
| Bibliography note | Bibliography: p. [335]-339. |
| LCCN | 75006738 |
| ISBN | 0387071490 |