Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy [Book] E. G. K. López-Escobar, Francisco Miraglia (2002)