Term logic with choice operator.
| Author/creator | Hermes, Hans |
| Format | Book |
| Edition | [1st English ed.]. |
| Publication Info | Berlin, New York : Springer-Verlag, 1970. |
| Description | 55 pages ; 26 cm. |
| Subjects |
| Series | Lecture notes in mathematics, 6 Lecture notes in mathematics (Springer-Verlag) 6. ^A496146 |
| Local note | Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28. |
| General note | Rev. and enl. translation of Eine Termlogik mit Auswahloperator. |
| Bibliography note | Bibliography: p. 53. |
| Other title | Termlogik mit Auswahloperator. |
| LCCN | 79125498 |
| Stock number | 6.00 ($1.70) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA3 .L28 NO. 6 | ✔ Available | Place Hold |