Return to Article Details Syntax and Semantics of the logic L_omega omega^lambda Download Download PDF