| 000 | 00860cam a2200253 4500 | ||
|---|---|---|---|
| 001 | 000462226 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831142714.0 | ||
| 008 | 701104s1970 |||||||||b||||001|0|eng|d | ||
| 040 |
_aAM-YeHGA _cAM-YeHGA |
||
| 041 | 1 |
_aeng _hger |
|
| 100 | 1 | _aHermes, Hans. | |
| 240 | 1 | 0 |
_aTermlogik mit Auswahloperator _lEnglish |
| 245 | 1 | 0 |
_aTerm logic with choice operator / _cHans Hermes. |
| 250 | _a1st English ed. | ||
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1970. |
||
| 300 |
_a55 p. ; _c26 cm. |
||
| 440 | 0 |
_aLecture notes in mathematics / Ed. by A. Dold, B. Eckmann _v6 |
|
| 500 | _aRev. and enl. translation of Eine Termlogik mit Auswahloperator. | ||
| 500 | _aRev. and enl. translation of the first German edition | ||
| 504 | _aBibliogr.: p. 53. | ||
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 999 |
_c169938 _d169938 |
||