computability logic
English
Pronunciation
Audio
(
US
)
:
(file)
Noun
computability
logic
(
uncountable
)
(
computing
,
mathematics
)
a
formal
theory
of computability