[SCL] another argument for the _complete_ SCL abstract syntaxpackage

Robert E. Kent rekent at ontologos.org
Thu Nov 20 14:17:25 CST 2003

Previous message: [SCL] another argument for the _complete_ SCL abstract syntax package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> axiomatization (analogous to correct programming) requires a disjunction

Correction: conjunction

Previous message: [SCL] another argument for the _complete_ SCL abstract syntax package
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SCL mailing list