A tough nut for proof procedures – John McCarthy (1964+?)www-formal.stanford.edu2 pointsYeGoblynQueenne8 years ago