Logic and Formal Methods

Dr. Richard Bubel

  •