FOM: Logic Colloquium 97

[Stephen G Simpson]

Dear FOM,

Here is an announcement of the Logic Colloquium '97 conference
proceedings, in two volumes.

-- Steve

----

 BOOK ANNOUNCEMENT:
 
 **Please circulate, and ensure purchase of these essential volumes for
 both personal and institutional libraries - all royalties go to the
 British Logic Colloquium**
 
 
 1) 'SETS AND PROOFS: Invited papers from Logic Colloquium '97 - European
 Meeting of the Association for Symbolic Logic, Leeds, July 1997'
 (S.B. Cooper & J.K. Truss, eds.), London Mathematical Society Lecture
 Note Series 258, Cambridge University Press, ISBN 0 521 63549 7 paperback
 
 2) 'MODELS AND COMPUTABILITY: Invited papers from Logic Colloquium '97 -
 European Meeting of the Association for Symbolic Logic, Leeds, July 1997'
 (S.B. Cooper & J.K. Truss, eds.), London Mathematical Society Lecture
 Note Series 259, Cambridge University Press, ISBN 0 521 63550 0 paperback
 
 
 Together, "Models and Computability" and "Sets and Proofs" will provide
 readers with a comprehensive guide to the current state of mathematical
 logic.
 
 All the authors are leaders in their fields and are mainly drawn from the
 invited speakers at "Logic Colloquium '97" (the major European meeting of
 the Association of Symbolic Logic). The articles included either push
 forward the technical boundaries of the subject, or provide readable and
 authoritative overviews of particular important topics.  A number of
 papers can be expected to become classics, essential to any good library
 (individual or institutional).
 
 It is expected that the breadth and timeliness of these two volumes will
 prove an invaluable and unique resource for specialists, post-graduate
 researchers, and the informed and interested nonspecialist.
 
 (For a detailed list of authors and articles for both volumes, see the
 LC97 web pages at: http://www.amsta.leeds.ac.uk/events/logic97/proc.html)