狭义谓词演算

restricted predicate calculus

пословный:

狭义	谓词演算
xiáyì точный (собственный) смысл, узкое (буквальное) значение; специальный; в узком смысле	_predicate calculus