Tableau systems for first order number theory and certain higher order theories /
Saved in:
| Author / Creator: | Toledo, Sue Ann, 1940- |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, 1975. |
| Description: | 339 p. ill. ; 25 cm. |
| Language: | English |
| Series: | Lecture notes in mathematics ; 447 Lecture notes in mathematics (Springer-Verlag) 447 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/81042 |
