No. 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda

Published: 1997-01-22