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

Corporate Authors:	Logic Colloquium '84 Manchester, ScienceDirect (Online service)
Other Authors:	Paris, J. B. (Jeff B.), Wilkie, A. J. (Alec J.), Wilmers, G. M.
Format:	Conference Proceeding eBook
Language:	English
Language Notes:	Includes one chapter in French.
Published:	Amsterdam ; Oxford : North-Holland, 1986.
Series:	Studies in logic and foundations of mathematics ; v. 120.
Subjects:	Logic, Symbolic and mathematical. Logic, Symbolic and mathematical > Congresses. Logique symbolique et mathématique > Congrès. Logique symbolique et mathématique. MATHEMATICS > General. Logic, Symbolic and mathematical Mathematical logic Electronic books. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Connect to the full text of this electronic book