LOGCONST : logical constant

wff Primitives



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage