Kowalski, Roberto Logic for problem solving / Roberto Kowalski - New York : North-Holland, C1979 - 287 p.;, 23,5 cm. - Artificial Intelligence series . Universal Decimal Class. No.: 519.7