computability logic

Noun

 * 1)  a formal theory of computability