The Little Prover
![]() | paperback Categoría: Computer Programming / Desarrollo de Software Categoría: Programación de PDA / Handheld Categoría: Ingeniería de software Categoría: Programación web Categoría: La lógica matemática MIT Press Ltd Nuestro precio: 42.19 EUR (precio actualizado 22.08.2025) Envío gratuito a España más Comentarios de los lectores y reseñas de libros: Amazon |