|
" Proof, logic, and conjecture : "
Robert S. Wolf.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
632798
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Wolf, Robert S.
|
| Title & Author
|
:
|
Proof, logic, and conjecture : : the mathematician's toolbox /\ Robert S. Wolf.
|
| Publication Statement
|
:
|
New York :: W.H. Freeman,, c1998.
|
| Page. NO
|
:
|
xiv, 421 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
0716730502 (alk. paper)
|
|
|
:
|
: 9780716730507 (alk. paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 409-411) and index.
|
| Contents
|
:
|
ch. 1. Introduction -- ch. 2. Propositional logic - ch. 3. Predicate logic -- ch. 4. Manthematical proofs -- ch. 5. Sets -- ch. 6. Relations -- ch. 7. Functions -- ch. 8. The integers and the rationals -- ch. 9. The real number system -- ch. 10. The complex number system.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Set theory.
|
| Subject
|
:
|
Number theory.
|
| LC Classification
|
:
|
QA9.W748 1998
|
| |