Автор: М. Т. Бекбоев

. Конституция РФ как источник аксиом частного права. Опыт логического вычисления

Конституция РФ как источник аксиом частного права. Опыт логического вычисления

М. Т. Бекбоев

Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и...

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.