 |
Logic, Sets and Recursion, Second Edition
Robert L. Causey, The University of Texas at Austin, Austin, Texas
ISBN-13: 9780763737849 ISBN-10: 0763737844 $116.95 (Sugg. US List) Hardcover 512 Pages © 2006
|
|
|
|
|
|
|
|
-
Teaches students how to construct and write informal, yet rigorous mathematical proofs using basic set theory, recursive definitions, and mathematical induction.
-
Set exercises, which were formerly a supplement, have been moved into the body of the book enhancing the text's pedagogy.
-
Introduces formalized sentential and predicate logic.
|
|