Logic for Programming, Artificial Intelligence, and Reasoning door M. Baaz & V. Andrei