Meeting of the Association for Symbolic Logic: Stanford, California, 1985
['Jon Barwise', 'Solomon Feferman', 'David J. Israel']
Meeting of the Association for Symbolic Logic: Stanford, California, 1985