| Three Views of Logic Subjects: Nichtklassische Logik.; Beweistheorie.; Berechenbarkeit.; Proof theory.; Nonclassical mathematical logic.; Computable functions.; Nonclassical mathematical logic.; Computable functions.; Proof theory.; No detailed description available for "Three Views of Logic". 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 . |