Logica by Piquer, Andres
 is a Project Gutenberg book, now on Github.