computability logic

English edit

 
English Wikipedia has an article on:
Wikipedia

Pronunciation edit

  • (file)

Noun edit

computability logic (uncountable)

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