Logic colloquium 76 proceedings of a conference held in Oxford, (19th to 30th) July 1976 ed.. Studies in logic and the foundations of mathematics 87.