|
Banner Text
Banner Slogan
|
|
|
|
Back
| A
compilation of papers presented at the 2001 European Summer Meeting
of the Association for Symbolic Logic, Logic Colloquium 01 includes
surveys and research articles from some of the world?s preeminent
logicians. Two long articles are based on tutorials given at the
meeting and present accessible expositions of research in two
active areas of logic, geometric model theory and descriptive set
theory of group actions. The remaining articles cover separate
research topics in many areas of mathematical logic, including
applications in Computer Science, Proof Theory, Set Theory, Model
Theory, Computability Theory, and aspects of
Philosophy. |
| Product Code |
Description |
Attributes |
Price | |
| Matthias Baaz (Editor), Sy-David Friedman (Editor), Jan Krajícek (Editor) ISBN: 9781568812489 |
Paperback - 2005 |
|
£31.00
|
|
|
In categories:
|
Prices include:
0% VAT
Discounts:
|
|
|
|
|