"Meeting of the Association for Symbolic Logic."

Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics