Logic for Computer Science

by: Jean H. Gallier

  • Publisher: Dover Publications
  • Print ISBN: 9780486780825, 0486780821

  • eText ISBN: 9780486805085, 0486805085

  • Edition: 1st