by Donald W. Loveland (Author), Richard E. Hodel (Author), S. G. Sterrett (Author)
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.
Format: Illustrated
Pages: 344
Edition: Illustrated
Publisher: Princeton University Press
Published: 26 Jan 2014
ISBN 10: 0691160449
ISBN 13: 9780691160443