Functorialization of first-order language with finitely many predicates

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 97-101
Antonio M. Sette, J.S. Sette

 

do góry