Human reasoning and cognitive science - Stenning, Keith (MIT Press, 2008)