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: | 55 p. 26 cm. |
| Language: | English |
| Series: | Lecture notes in mathematics, 6 Lecture notes in mathematics (Springer-Verlag) ; 6. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/4710470 |
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 4710470 | ||
| 005 | 20030601223300.0 | ||
| 008 | 701104s1970 gw b 001 0 eng | ||
| 003 | ICU | ||
| 010 | |a 79125498 | ||
| 015 | |a GDB*** | ||
| 035 | |a (OCoLC)99302 | ||
| 040 | |a DLC |c DLC |d OCL |d OCoLC | ||
| 041 | 1 | |a eng |h ger | |
| 049 | |a CGUA | ||
| 050 | 0 | |a QA3 |b .L28 no. 6 1970 | |
| 082 | 0 | |a 164 | |
| 100 | 1 | |a Hermes, Hans. |0 http://id.loc.gov/authorities/names/n50030759 |1 http://viaf.org/viaf/82820 | |
| 240 | 1 | 0 | |a Termlogik mit Auswahloperator. |l English |
| 245 | 1 | 0 | |a Term logic with choice operator. |
| 250 | |a [1st English ed.] | ||
| 260 | |a Berlin, |a New York : |b Springer-Verlag, |c 1970. | ||
| 300 | |a 55 p. |c 26 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Lecture notes in mathematics, |v 6 | |
| 500 | |a Rev. and enl. translation of Eine Termlogik mit Auswahloperator. | ||
| 504 | |a Bibliography: p. 53. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 6. | |
| 901 | |a Analytic | ||
| 903 | |a HeVa | ||
| 787 | 0 | |n OCLC Work Id |o http://worldcat.org/entity/work/id/4928519396 | |
| 929 | |a cat | ||
| 999 | f | f | |i df32ee93-6d48-5619-912f-c3e0a3509458 |s f68362f3-f1aa-5e3e-acfa-563201816576 |
| 928 | |t Library of Congress classification |a QA3.L41 no.6 1970ed. |l ASR |c ASR-SciASR |i 4324327 | ||
| 927 | |t Library of Congress classification |a QA3.L41 no.6 1970ed. |l ASR |c ASR-SciASR |g Analytic |e CRERAR |b A11660649 |i 7318938 | ||
