edited by Leon Henkin ... [et al.]

Published for the Association for Symbolic Logic by the American Mathematical Society 1974 Proceedings of symposia in pure mathematics v. 25

Available at 61 libraries