The Impossibility of the Automation of Logical Reasoning.

Larry Wos

Browse the full CADE paper archive.