Definitions: the primitive concept of logics or The Leśniewski–Tarski legacy
Volume 401 / 2002
Dissertationes Mathematicae 401 (2002), 1-184
MSC: 03F65, 03G25
DOI: 10.4064/dm401-0-1