Математическая энциклопедия

УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

- см.Предикатов исчисление.

  1. узкое исчисление предикатов—restricted predicate calculus...Большой русско-английский словарь биологических терминов