• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Computational properties of the logic of partial quasiary predicates

Shkatov D., Rybakov M.

It is proved that Church theorem and Trakhtenbrot theorem are true for the logic of quasiary predicates.