Introduction to the Logic of the Computing Sciences
Introduction to the Logic of the Computing Sciences by Richard F. Von Dohlen.
Published by University Press of America, (1999), Paperback, 300 pages.
Topics: Computer logic, Computer science, Logic, symbolic and mathematical.