Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowl...

Full description

Bibliographic Details
Main Author: Paris, J. B.
Corporate Author: Logic Colloquium '84 (1984, Manchester)
Other Authors: Wilkie, A. J., Wilmers, G. M.
Format: eBook
Language:English
Published: Amsterdam North-Holland 1986, 1986
Series:Studies in logic and foundations of mathematics
Subjects:
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Description
Summary:This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines
Item Description:Includes one chapter in French. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
Physical Description:x, 377 pages illustrations
ISBN:9780444879998
008096043X
9780080960432