Akademik
量化逻辑
_
quantified logic
Наука
.
2013
.