Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976

This volume constitutes the Proceedings of the Logic Colloquium 76 which was held at Oxford from the 19th to 30th July 1976. It contains the texts (sometimes altered or amplified) of most of the invited addresses, and some supplementary papers. The titles of addresses not represented in this volume are listed after the Table of Contents. Abstracts of contributed papers will be published in The Journal of Symbolic Logic. The conference was built round four main topics: (1) The History of Modern Logic, (2) APtlicationsof Model Theory, (3) The Theory of Continuous Functionars; and (4) he Complexity of Computations. There were also invited addresses on other topics, in particular on Set Theory. We have preserved this division in the arrangement of the contents of this volume.