Syntax and semantics of infinitary languages - Barwisw Jon (Berlin Springer Verlag, 1968)
Keywords: logic; Mathematical; Symbolic