Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /

Detalles Bibliográficos
Autor principal: Beth, Evert Willem (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Dordrecht, Holland : Reidel, c1962.
Materias:

Sistema de Bibliotecas de la Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de la Universidad de Costa Rica
Número de Clasificación: 511.3
Copia Disponible