Author: Summer School in Logic (1967 Leeds, Eng.)