ENGLISH

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

By R.O. Gandy , J.M.E. Hyland (eds.)

Book information

Publisher
North-Holland
Year
1977
ISBN
0720422833, 0444106790, 9780720422832, 9780444106797
Language
english
Format
DJVU
Filesize
5 MB (4896569 bytes)
Series
Studies in Logic and the Foundations of Mathematics 87
Pages
622\622
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2010-07-29 05:14:56

Description

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.

Similar books