Definitions: the primitive concept of logics or the Leśniewski–Tarski legacy - López-Escobar, Edgar George Kenneth; Miraglia Neto, Francisco (Dissertationes Mathematicae, 2002)