4796112
9780691123004
'Classical Mathematical Logic' develops the ideas of mathematical logic in the context of formalizing reasoning about mathematics. The scope and limitations of modern logic are made clear in formalizations of arithmetic, group theory, linear orderings, field theory, the real numbers, & Euclidean plane geometry.Epstein, Richard L. is the author of 'Classical Mathematical Logic The Semantic Foundations of Logic' with ISBN 9780691123004 and ISBN 0691123004.
[read more]