HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › computability logic
← Back to search

Meaning of computability logic | Babel Free

Noun CEFR B2

Definitions

a formal theory of computability

uncountable

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

computability theory Computable computable analysis computable function computad computant

Learn this word in context

See computability logic used in real conversations inside our free language course.

Start Free Course