This work culminated in the two monographs by Tarski, Henkin, and Monk (1971, 1985).
Το έργο αυτό, αποτυπώθηκε στις δύο μονογραφίες του Τάρσκι, Χένκιν και Μονκ(1971, 1985).