2 books • 1 series
Logic for Computer Science and Artificial Intelligence
Automated Model Building (Applied Logic, #31)