Значение

значений: 1
  1. (неисчисляемое)A formal theory of computability.

computability logic — значение, примеры, формы, синонимы | Krumeto