Computability logic
WiktionaryText

Noun



computability logic
  1. , a formal theory of computability
 
x
OK