Cogprints: No conditions. Results ordered Title.
http://cogprints.org/
OAI Site description has not been configured.
Wed, 17 Jan 2018 14:22:19 +0000Wed, 17 Jan 2018 14:22:19 +0000en A Tough Nut for Proof Procedures
http://cogprints.org/414/
McCarthy, John (1964) A Tough Nut for Proof Procedures. [Preprint]