Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiVyprodáno4,4Pohlídat