Logic and Formal Methods

Dr. Vladimir Klebanov

  •