Page 389 - HOW TO PROVE IT: A Structured Approach, Second Edition

P1: pig/
0521861241fur CB996/Velleman September 2, 2005 19:23 0 521 86124 1 Char Count= 0

Suggestions for Further Reading

Barwise, J. and Echemendy, J. Language, Proof and Logic. Stanford: CSLI
Publications, 2002.
Burton, D. Elementary Number Theory, 5th edition. Boston: McGraw-Hill,
2002.
Eccles, P. An Introduction to Mathematical Reasoning: Numbers, Sets and
Functions. Cambridge: Cambridge University Press, 1997.
Enderton, H. A Mathematical Introduction to Logic, 2nd edition. San Diego:
Harcourt/Academic Press, 2001.
Enderton, H. Elements of Set Theory. San Diego: Academic Press, 1977.
Epp, S. Discrete Mathematics with Applications, 3rd edition. Belmont, Calif.:
Brooks Cole, 2004.
Halmos, P. Naive Set Theory. New York: Springer-Verlag, 1974.
Hamilton, A. Logic for Mathematicians, revised edition. Cambridge: Cam-
bridge University Press, 1988.
Hamilton, A. Numbers, Sets and Axioms: The Apparatus of Mathematics.
Cambridge: Cambridge University Press, 1982.
Mendelson, E. Introduction to Mathematical Logic, 4th edition. London:
Chapman & Hall, 1997.
Polya, G. How to Solve It: A New Aspect of Mathematical Method, 2nd edition.
Princeton: Princeton University Press, 1957.
Rosen, K. Discrete Mathematics and Its Applications, 5th edition. Boston:
McGraw-Hill, 2003.
Ross, K. and Wright, C. Discrete Mathematics, 5th edition. Upper Saddle River,
N.J.: Prentice Hall, 2003.
Stark, H. An Introduction to Number Theory. Cambridge, Mass.: MIT Press,
1978.
van Dalen, D., Doets, H., and deSwart, H. Sets: Naive, Axiomatic, and Applied.
Oxford: Pergamon Press, 1978.
375