Значення

значень: 1
  1. (незлічуване)A formal theory of computability.

computability logic — значення, приклади, форми, синоніми | Krumeto