Cargando…
Tern logic with choice operator
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
Berlin
: Springer-Verlag,
1970
|
| Colección: | Lecture Notes in Mthematics
; 6 |
| Materias: |
Unidad de Servicios Bibliotecarios y de Información Xalapa -
| Número de Clasificación: |
QA3. L28 H47 |
|---|---|
| Copia 1 | Disponible Hacer reserva |