Definify.com

Definition 2024


computability_logic

computability logic

English

Noun

computability logic (uncountable)

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