Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Othe...

Full description

Bibliographic Details

Corporate Authors:	Logic Colloquium Hull, Humberside, ScienceDirect (Online service)
Other Authors:	Drake, F. R. (Frank Robert)
Format:	Conference Proceeding eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : North-Holland, ©1988.
Series:	Studies in logic and the foundations of mathematics ; v. 124.
Subjects:	Logic, Symbolic and mathematical > Congresses. Logique symbolique et mathématique > Congrès. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Kongress Mathematische Logik Logica matematica. Electronic books. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kingston-upon-Hull (1986)
Online Access:	Connect to the full text of this electronic book