TY - BOOK AU - Schreider,Ju A. TI - Equality,resemblance,and order U1 - AKB 511.326 PY - 1975/// CY - Moscow PB - Mir KW - Symbolic Logic KW - Binary System (Mathematics) KW - Relations (Mathematics) ER -