Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy [Book] E. G. K. López-Escobar, Francisco Miraglia (2002)
Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes R. Fraisse (1977) Publications du Département de mathématiques (Lyon)