[CL] Quantified sentences

Cameron Ross cross at kojeware.com
Wed Dec 2 08:06:44 CST 2009

Previous message: [CL] Clarification of section A.2.3.9 in 24707
Next message: [CL] Quantified sentences
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Is the following valid CLIF:

(forall () (a))

Cameron.

Previous message: [CL] Clarification of section A.2.3.9 in 24707
Next message: [CL] Quantified sentences
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the CL mailing list