Formal philosophy : selected papers of Richard Mantague - Thomason, Richmond H. (New Haven Yale University Press, 1974)