Term logic with choice operator.
Saved in:
| Author / Creator: | Hermes, Hans. |
|---|---|
| Uniform title: | Termlogik mit Auswahloperator. English |
| Edition: | [1st English ed.]. |
| Imprint: | Berlin, New York, Springer-Verlag, 1970. |
| Description: | 1 online resource (55 pages). |
| Language: | English |
| Series: | Lecture notes in mathematics, 6 Lecture notes in mathematics (Springer-Verlag) ; 6. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11074227 |