On Sat, 22 Mar 2008 23:15:00 -0700, John Nagle wrote: > That's some professor inventing his very own variation on predicate > calculus and writing a book using his own notation and terminology. > There's no sign of footnotes or references to prior work. The notation > doesn't seem to do anything not previously possible; it's just > different.
You say that as if it were unusual in maths circles :) -- Steven -- http://mail.python.org/mailman/listinfo/python-list