 a style [of logic] in which concepts and relations are expressed by mathematical symbols [\(\ldots\)] so that mathematical techniques can be applied. Here mathematics shall mean mostly algebra, i.e., the part of mathematics concerned with finitary operations on some set. (Hailperin 2004: 323)