Author: Summer Institute for Symbolic Logic (1957 Cornell University)