عنوان
پدید آورنده
موضوع
رده
QA9 .W748 1998
QA9
.
W748
1998
کتابخانه
محل استقرار
0716730502 (alk. paper)
9780716730507 (alk. paper)
dltt
Proof, logic, and conjecture :
[Book]
the mathematician's toolbox /
Robert S. Wolf.
New York :
W.H. Freeman,
c1998.
xiv, 421 p. :
ill. ;
24 cm.
Includes bibliographical references (p. 409-411) and index.
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.
0
Logic, Symbolic and mathematical.
Number theory.
Set theory.
QA9
.
W748
1998
Wolf, Robert S.
20140220092712.0
مطالعه متن کتاب [Book]
Y
