computability logic

From Wiktionary, the free dictionary
Archived revision by WingerBot (talk | contribs) as of 09:25, 14 October 2019.
Jump to navigation Jump to search

English

English Wikipedia has an article on:
Wikipedia

Pronunciation

  • Audio (US):(file)

Noun

computability logic (uncountable)

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