21%OFF
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Donald W. Loveland
€ 59.21
€ 46.81
FREE Delivery in Ireland
Description for Three Views of Logic: Mathematics, Philosophy, and Computer Science
Paperback. Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. It presents relevance logic with applications. Num Pages: 344 pages, 7 line illus. 10 tables. BIC Classification: HPL; PBCD; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 252 x 178 x 21. Weight in Grams: 728.
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. ... Read more
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. ... Read more
Product Details
Publisher
Princeton University Press United States
Number of pages
352
Format
Paperback
Publication date
2014
Condition
New
Weight
728g
Number of Pages
344
Place of Publication
New Jersey, United States
ISBN
9780691160443
SKU
V9780691160443
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
About Donald W. Loveland
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 ... Read more
Reviews for Three Views of Logic: Mathematics, Philosophy, and Computer Science
"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 ... Read more
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 ... Read more