Changes

Directory:Jon Awbrey/Papers/Cactus Language (view source)

121 bytes added , 13:44, 3 June 2009

Line 6,879: Line 6,879:

# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html

−

====Functional Conception Of Quantificational Logic====

+

====Functional Conception Of Quantificational Logic (Dec 2001)====

+

* http://suo.ieee.org/ontology/thrd38.html#03562

# http://suo.ieee.org/ontology/msg03562.html

# http://suo.ieee.org/ontology/msg03563.html

Line 6,891: Line 6,892:

# http://suo.ieee.org/ontology/msg03583.html

−

====Propositional Equation Reasoning Systems====

+

====Propositional Equation Reasoning Systems (Mar 2001)====

+

* http://suo.ieee.org/email/thrd186.html#04187

# http://suo.ieee.org/email/msg04187.html

# http://suo.ieee.org/email/msg04305.html

Line 6,931: Line 6,933:

====Zeroth Order Logic====

+

*

# http://suo.ieee.org/email/msg01246.html

# http://suo.ieee.org/email/msg01406.html

12,080

edits