Meta-logics and logic programming by Krzysztof R. Apt | Menrva Books | MenrvaBooks