Logic Programming

Bok av Andrei Voronkov