A
compilation of papers presented at the 1999 European Summer Meeting
of the Association for Symbolic Logic, Logic Colloquium '99
includes surveys a More...
A
compilation of papers presented at the 1999 European Summer Meeting
of the Association for Symbolic Logic, Logic Colloquium '99
includes surveys a More...
This
proceedings volume contains research papers in mathematical logic,
especially in model theory and its applications to algebra and
formal theories More...
This
proceedings volume contains research papers in mathematical logic,
especially in model theory and its applications to algebra and
formal theories More...
Now
available in paperback, this authoritative biography of Kurt Gödel
relates the life of this most important logician of our time to the
develo More...