Free Republic
Browse · Search 		News/Activism
Topics · Post Article

To: Hatteras

Axiom system is also called AX

http://209.85.165.104/search?q=cache:nMFRZd-dXZoJ:www.people.fas.harvard.edu/~cs285/handouts/logicLec1b.pdf+Axiom+system+AX&hl=en&ct=clnk&cd=1&gl=us&client=firefox-a


228 posted on 04/17/2007 10:01:00 AM PDT by april15Bendovr
[ Post Reply | Private Reply | To 59 | View Replies ]

To: All

Maybe

Polynomials and Axiom system combined?


237 posted on 04/17/2007 10:06:39 AM PDT by april15Bendovr
[ Post Reply | Private Reply | To 228 | View Replies ]

Free Republic
Browse · Search 		News/Activism
Topics · Post Article

FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson