Andrey Kuraev, Logics


v20240901