Title: Tai no moderu riron to sono ōyō
Subjects: Model theory, Congresses