Բեռնվում է…
Term logic with choice operator /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English German |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1970.
|
| Հրատարակություն: | 1st English ed. |
| Շարք: | Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
6 |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00857cam a2200253 4500 | ||
|---|---|---|---|
| 001 | 000462226 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831142714.0 | ||
| 008 | 701104s1970 |||||||||b||||001|0|eng|d | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 1 | |a eng |h ger | |
| 100 | 1 | |a Hermes, Hans. | |
| 240 | 1 | 0 | |a Termlogik mit Auswahloperator |l English |
| 245 | 1 | 0 | |a Term logic with choice operator / |c Hans Hermes. |
| 250 | |a 1st English ed. | ||
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1970. | ||
| 300 | |a 55 p. ; |c 26 cm. | ||
| 440 | 0 | |a Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann |v 6 | |
| 500 | |a Rev. and enl. translation of Eine Termlogik mit Auswahloperator. | ||
| 500 | |a Rev. and enl. translation of the first German edition | ||
| 504 | |a Bibliogr.: p. 53. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 999 | |c 169938 | ||
| 952 | |o Gulb/3082 |p 901003082 | ||