Language: English
Published by Cambridge University Press, 1999
ISBN 10: 0521652006 ISBN 13: 9780521652001
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Seller: moluna, Greven, Germany
Condition: New. This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expan.