
Computer Science Logic
Matthias Baaz, Johann M. Makowsky
₹4,479

Lecture Notes In Logic, 20
by Matthias Baaz, Friedman Sy D., Krajicek Jan
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.