0 Libros / OpenLibra Introducción a la Demostración Asistida por Ordenador con Isabelle/HOL – Libro Gratis