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

Guardado en:
Autor Principal: Beth, Evert Willem.
Formato: Libro
Idioma:English
Publicado: Dordrecht, Holland : D. Reidel, c1962.
Series:Synthese library
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
BIB. MATEMATICA
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura: 03 B562f