Term logic with choice operator.
Edición de la obra Term logic with choice operator
| Autor | Hans Hermes |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1970 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 55 |
| LCCN | 79125498 |
| Serie | Lecture notes in mathematics, 6 · Lecture notes in mathematics (Springer-Verlag) ; · 6. |
| Número de Cutter | H553t |