tgoop.com/syntaxdush/660
Create:
Last Update:
Last Update:
В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)
BY Душный синтаксис

Share with your friend now:
tgoop.com/syntaxdush/660