2064760
9780521479981
This introduction to set theory and logic discusses first order logic, and provides a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. It includes many methodological remarks and explanations, demonstrating how the basic concepts of mathematics can be reduced to set theory.Machover, Moshe is the author of 'Set Theory, Logic and Their Limitations', published 1995 under ISBN 9780521479981 and ISBN 0521479983.
[read more]