Вы здесь

Главная

истинность

Связанные издания:

Abstract Fairness and Semantics
Completing the temporal picture
Meta-Programming through a Truth Predicate
Интегрированная система проверки гипотез: программно-алгоритмические средства