ROBERT KOWALSKI. Texto en el que se investiga la aplicación de la lógica a la resolución de problemas y a la programación de ordenadores. Se trata de una introducción a los temas lógica, teoría de resolución de problemas y programación de ordenadores, por lo que para su lectura no se requiere conocimiento previo en estos campos. Edición en perfecto estado...