Together, Models and Computability and its sister volume Sets and
Proofs will provide readers with a comprehensive guide to the
current state of mathematical logic. All the authors are leaders in
their fields and are drawn from the invited speakers at 'Logic
Colloquium '97' (the major international meeting of the Association
of Symbolic Logic). It is expected that the breadth and timeliness
of these two volumes will prove an invaluable and unique resource
for specialists, post-graduate researchers, and the informed and
interested nonspecialist.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!