Nowa, wielka monografia Rasiowej i Sikorskiego stanowi uwieńczenie ich badań dotyczących pogranicza logiki i teorii modeli, rozpoczętych w roku 1950 znaną pracą "A proof of the completeness theorem of Gödel" (Fundamenta Mathematicae 37). Pod względem doskonałości wykładu, przejrzystości i elegancji przewyższa książki o podstawach matematyki dostępne w języku polskim. Toteż mimo specjalności tematu i obcego języka książka jest używana do wykładów i chętnie czytana, nawet przez początkujących - nie zakłada u czytelnika żadnego specjalnego przygotowania matematycznego.