Complete theories - Robinson, Abraham (Amsterdam : New Holland Pub. Co, 1956)
Bibligraphy :p. 126-127
Keywords: Logic, Symbolic and mathematical; Algebra