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:	LOGICA, SIMBOLICA Y MATEMATICA

Descripción
Descripción Física:	170 páginas

Ejemplares similares