Research Catalog
Tableau systems for first order number theory and certain higher order theories
- Title
- Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
- Author
- Toledo, Sue Ann, 1940-
- Publication
- Berlin ; New York : Springer-Verlag, 1975.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
Not available - Please for assistance. | v. 446-447 | Text | Request in advance | JSM 95-200 v. 446-447 | Offsite |
Details
- Description
- 339 p.; 25 cm.
- Series Statement
- Lecture notes in mathematics ; \v. 447
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \v. 447.
- Subject
- Bibliography (note)
- Bibliography: p. [335]-339.
- Call Number
- JSM 95-200 no. 447
- ISBN
- 0387071490
- LCCN
- 75006738
- OCLC
- 1255064
- NYPG754600091-B
- Author
- Toledo, Sue Ann, 1940-
- Title
- Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
- Imprint
- Berlin ; New York : Springer-Verlag, 1975.
- Series
- Lecture notes in mathematics ; \v. 447University of Arkansas lecture notes in mathematics ; \v. 447.
- Bibliography
- Bibliography: p. [335]-339.
- Research Call Number
- JSM 95-200 no. 447