Tableau systems for first order number theory and certain higher order theories
- 種類:
- 図書
- 責任表示:
- Sue Toledo
- 出版情報:
- Berlin ; New York : Springer-Verlag, 1975
- 著者名:
- Toledo, Sue Ann, 1940- <DA00836048>
- シリーズ名:
- Lecture notes in mathematics ; 447 <BA00146586>
- ISBN:
- 9783540071495 [3540071490] (: Germany)
9780387071497 [0387071490] (: U.S.) - 注記:
- Bibliography: p. [335]-339
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
University Microfilms |
Oliver & Boyd, Interscience |
Springer-Verlag |
Abacus Press |
Prentice-Hall |
North-Holland, János Bolyai Mathematical Society |
Chelsea Pub. Co. |
Academic Press |
World Scientific |
Chelsea Pub. |
American Mathematical Society |