Books on Amazon
artificial language / formal language/ counterpart / Mates: the statements of the natural language correspond the artificial formulas, as a counterpart, not as abbreviations - if symbols are associated with no sense, then it is an uninterpreted calculus.
Propositional calculus /p.c.: has no quantifiers.
Elementare Logik Göttingen 1969