Cargando…
Tern logic with choice operator
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
Berlin
: Springer-Verlag,
1970
|
| Colección: | Lecture Notes in Mthematics
; 6 |
| Materias: |
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 006 | a 000 0 | ||
| 008 | 991123s1970 000 0 d | ||
| 035 | |a (Sirsi) a101458 | ||
| 035 | |a (Sirsi) a101458 | ||
| 040 | |a lc en web | ||
| 050 | 4 | |a QA3. L28 |b H47 | |
| 082 | 4 | |a 511 | |
| 100 | |a Hermes, Hans | ||
| 245 | 0 | |a Tern logic with choice operator | |
| 260 | |a Berlin |b : Springer-Verlag, |c 1970 | ||
| 300 | |a 55 p | ||
| 490 | 0 | |a Lecture Notes in Mthematics |v ; 6 | |
| 500 | |a Bibliografía: p. 53 | ||
| 650 | 4 | |a Lógica matemática | |
| 596 | |a 2 | ||
| 942 | |c LIBRO | ||
| 999 | |c 58257 |d 58257 | ||