. . "0"^^ . "0"^^ . . "a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)"@en-us . . "06165364-n"^^ . . "105794813"@en-us . . "106165364"^^ . . "functional calculus"@en-us . "predicate calculus"^^ . . "predicate calculus"@en-us . . . . .