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...
Corporate Authors: | Logic Colloquium '84 Manchester) |
---|---|
Other Authors: | Logic Colloquium '84, Paris, J. B., Wilkie, A. J., Wilmers, G. M., ScienceDirect (Online service) |
Format: | eBook |
Language: | English |
Published: |
Amsterdam ; Oxford :
North-Holland,
1986.
|
Physical Description: |
1 online resource (x, 377 pages) : illustrations. |
Series: |
Studies in logic and foundations of mathematics ;
v. 120. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |