Now showing items 1-1 of 1

    • Three views of logic: Mathematics, Philosophy, Computer Science 

      Loveland, Donald W.; Hodel, Richard E.; Sterrett, Susan G. (Princeton University Press, 2014)
      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 ...