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.
An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system.
An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system.
An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role.
An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role.
