This volume presents the proceedings of the 2000 European Summer Meeting of the Association for Symbolic Logic, marking one hundred years since Hilbert''s famous lecture.
This volume contains research papers in mathematical logic, particularly in model theory and its applications to algebra and formal theories of arithmetic.
This volume contains proceedings of the 1998 European Summer Meeting of the Association for Symbolic Logic held at the University of Economics, Prague.
This volume, first published in 2000, contains a collection of survey papers providing an introduction for graduate students and researchers in these fields.
The Banach–Tarski paradox is a most striking mathematical construction: it asserts that a solid ball may be taken apart into finitely many pieces that can be rearranged using rigid motions to form a ball twice as large as the original.
Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field.