computability logic

English

Pronunciation

  • Audio (US):(file)

Noun

computability logic (uncountable)

  1. (computing, mathematics) a formal theory of computability