![Handbook of Logic and Proof Techniques for Computer Science - Steven G. Krantz - Books - Springer-Verlag New York Inc. - 9781461266198 - October 23, 2012](https://imusic.b-cdn.net/images/item/original/198/9781461266198.jpg?steven-g-krantz-2012-handbook-of-logic-and-proof-techniques-for-computer-science-paperback-book&class=scaled&v=1492633520)
Tell your friends about this item:
Handbook of Logic and Proof Techniques for Computer Science Softcover reprint of the original 1st ed. 2002 edition
Steven G. Krantz
Handbook of Logic and Proof Techniques for Computer Science Softcover reprint of the original 1st ed. 2002 edition
Steven G. Krantz
Logic is, and should be, the core subject area of modern mathemat ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.
264 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 23, 2012 |
ISBN13 | 9781461266198 |
Publishers | Springer-Verlag New York Inc. |
Pages | 245 |
Dimensions | 155 × 235 × 14 mm · 381 g |
Language | English |
Show all
More by Steven G. Krantz
See all of Steven G. Krantz ( e.g. Hardcover Book and Paperback Book )