Keisler, H. Jerome, 1936-
Model theory / C.C. Chang and H.J. Keisler. -- 2nd ed. -- Amsterdam : North-Holland, 1977. -- xii, 554 s. -- (Studies in logic and the foundations of mathematics; Vol. 73). -- ISBN : 0720422736.
Zhang, Zhenzhong, 1927-
Booleova algebra. univerzální algebra. matematická logika. vyšší matematika
512