Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /

The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof...

Full description

Bibliographic Details

Corporate Authors:	Logic Colloquium Orsay, France, ScienceDirect (Online service), Equipe de logique mathématique (Paris, France)
Format:	Conference Proceeding eBook
Language:	English French
Language Notes:	English and French.
Published:	Amsterdam ; Oxford : North-Holland, 1987.
Series:	Studies in logic and the foundations of mathematics ; v. 122.
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