Proof and Disproof in Formal Logic : An itroduction for programmers

Guardado en:
Detalles Bibliográficos
Autor principal: Bornat, Richard (Autor)
Formato: Libro
Lenguaje:inglés
Publicado: Oxford : Oxford University Press, 2005
Edición:1. vyd.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!