Cognitive reasoning a formal approach - Anshakov, Oleg M.; Gergely, Tamas; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Logic, Symbolic and mathematical; Reasoning; Cognitive science; Computer Science; Artificial Intelligence (incl. Robotics); Theory of Computation; Information Storage and Retrieval; Computers and Society; Mathematical Logic and Foundations; Numerical Analysis