The Satisfiability Problem - FRANCO - Inbunden | Bokus