Title: Models and human reasoning
Subjects: Computer simulation, Symbolic and mathematical Logic