Cargando…
Tern logic with choice operator
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
Berlin
: Springer-Verlag,
1970
|
| Colección: | Lecture Notes in Mthematics
; 6 |
| Materias: |
| Notas: | Bibliografía: p. 53 |
|---|---|
| Descripción Física: | 55 p |