With his work on computer logic, John H Holland became one of the most important founders of modern computer science. People who knew John H Holland were all amazed and deeply influenced by his incredibly imaginative and creative mind. He produced many more ideas than he could follow up in his life time. This selection of his papers in the field of computer logic entails many of his explored and unexplored ideas. Revisiting the explored ideas and exploring the unexplored ones should be of great interest to scientists of all ages, and of great value to the current research not only in computer science but in many other fields as well.Published in collaboration with Institute Para Limes.