"Meeting of the Association for Symbolic Logic Washington, D.C., 1975."

James C. Owings, Hilary Putnam, Gerald E. Sacks (1976)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics