The Syntax and semantics of infinitary languages Ed. by Jon Barwise - Barwise, Jon