Logic Colloquium '84 :  proceedings of the colloquium held in Manchester, U.K., July 1984 / 
editors J.B. Paris, A.J. Wilkie, G.M. Wilmers. 
 - Amsterdam ;  Oxford :  North-Holland,  1986. 
 - 1 online resource (x, 377 pages) :  illustrations. 
 - Studies in logic and foundations of mathematics ;  v. 120 .
 - Studies in logic and foundations of mathematics ;  v. 120. .
<br/><br/> Includes one chapter in French. 
<br/><br/>Includes bibliographical references. 
<br/><br/> 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. 
<br/><br/><br/>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. <br/>http://purl.oclc.org/DLF/benchrepro0212 
<br/><br/><label>ISBN: </label>9780080960432 008096043X 9780444879998 0444879994 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Logique symbolique et mathématique--Congrès.<br/>MATHEMATICS--General.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Subjects--Index Terms: </label>Mathematical logic 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>BC135  / .L63 1984eb QA9.A1  / L63 1984eb