1 - Large infinitary languages : Model theory |
2 - Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers |
3 - The syntax and semantics of infinitary languages : based on a symposium on infinitary logic held at UCLA on December 28-30, 1967 |