transcription, транскрипция: [ noun ]
Date: 1950
: the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives — called also functional calculus — compare propositional calculus