computability logic

English

edit
 
English Wikipedia has an article on:
Wikipedia

Pronunciation

edit
  • Audio (US):(file)

Noun

edit

computability logic (uncountable)

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