Meeting of the Association for Symbolic Logic: New York, 1975. - Paul Benacerraf; Simon Kochen; Gerald E. Sacks (J. Symb. Log., 1977)

Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. - Simon Kochen; Hugues Leblanc; Charles D. Parsons (J. Symb. Log., 1983)