Meta-Logics And Logic Programming door Krzysztof Apt