computability logic

computability logic

English Noun
Ad

Definition

a formal theory of computability

Ad