«谓词元逻辑»

谓词元逻辑 в энциклопедиях

Поделиться

Большой китайско-русский словарь

_

metalogic of predicates