Meaning

1 senses
  1. (uncountable)A formal theory of computability.

computability logic — meaning, examples, forms, synonyms | Krumeto