Math Forum http://mathforum.org/kb List of forum topics en Re: LOGICAL NEGATION working in PROLOG! <<Using Peano Arithmetic>> http://mathforum.org/kb/thread.jspa?messageID=7931758&tstart=0#7931758 > The formal system G3 from Kleene is based on]]> Dec 3, 2012 4:44:57 PM Dec 3, 2012 4:44:57 PM grahamcooper7@gmail.com 0 Re: LOGICAL NEGATION working in PROLOG! <<Using Peano Arithmetic>> http://mathforum.org/kb/thread.jspa?messageID=7931759&tstart=0#7931759 ]]> Dec 3, 2012 4:44:56 PM Dec 3, 2012 4:44:56 PM 1 LOGICAL NEGATION working in PROLOG! <<Using Peano Arithmetic>> http://mathforum.org/kb/thread.jspa?messageID=7931760&tstart=0#7931760 ]]> Dec 3, 2012 4:44:56 PM Dec 3, 2012 4:44:56 PM 2