Decidability of Logical Theories and Their Combination

João Rasga, Cristina Sernadas

  • First published 2020
  • 178 pages
  • English