Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiSold out4.4Track