Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
Material type:
TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 447.Publication details: Berlin ; New York : Springer-Verlag, 1975.Description: 339 pISBN: - 0387071490
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 51 LNM (Browse shelf(Opens below)) | Available | 14438 |
Bibliography: p. [335]-339.
There are no comments on this title.
Log in to your account to post a comment.