Description
About the Author
Donald W. Loveland is professor emeritus of computer science at Duke University and the author of Automated Theorem Proving: A Logical Basis. Richard E. Hodel is associate professor emeritus of mathematics at Duke University and the author of An Introduction to Mathematical Logic. S. G. Sterrett is the Curtis D. Gridley Distinguished Professor of History and Philosophy of Science at Wichita State University and the author of Wittgenstein Flies a Kite: A Story of Models of Wings and Models of the World.
Reviews
"Overall, this is a well-written text with challenging exercises, proofs of important theorems, and a modern integrated approach."--Choice "The book can serve as material for a course that teaches the role of logic in several disciplines. It can also be used as a supplementary text for a logic course that emphasizes the more traditional topics of logic but wishes to include a few special topics. Moreover, it can be a valuable resource for researchers and academics."--Roman Murawski, Zentralblatt MATH "It's always interesting to find a text that reimagines, and offers a novel approach to, a fairly standard subject. This book does that for logic... There is a lot of interesting and well-presented material found here that cannot be easily found elsewhere in a book at this level."--Mark Hunacek, Mathematical Association of America blog "An instructor of a logic course offered by a mathematics department who is interested in some experimentation will undoubtedly find this book quite rewarding... Even an instructor who is not planning to teach a course along these lines, but who is interested in the subject, will want to look at this text; there is a lot of interesting and well-presented material found here that cannot be easily found elsewhere in a book at this level."--Mark Hunacek, MAA blog
Book Information
ISBN 9780691160443
Author Donald W. Loveland
Format Paperback
Page Count 344
Imprint Princeton University Press
Publisher Princeton University Press
Weight(grams) 680g