Structures related to Pascal’s triangle modulo 2 and their elementary theories Ivan Korec (1994) Mathematica Slovaca