Práce polského logika, přeložená do mnoha jazyků, objasňuje nejdůležitější pojmy "matematické logiky". Ukazuje, že logické pojmy prostupují celek matematiky, že obsahují všechny specifické matematické pojmy jako své speciální případy a že logické zákony jsou stále aplikovány v matematických úsudcích. Posléze se snaží vyložit nejdůležitější zásady budování matematických teorií, tj. předmětu metodologie matematiky. Vysvětluje, jak si počínáme při aplikaci těchto zásad v praxi. Nepodává soustavný a přísně deduktivní výklad logiky, žádnou informaci - kromě dvou pasáží - o tradiční aristotelské logice a nepojednává o problémech, jež náleží do tzv. logiky a metodologie empirických věd.Na konci každé kapitoly jsou připojena cvičení.
Alfred Tarski Knihy
Alfred Tarski bol poľský logik a matematik, ktorý zásadne zmenil tvár logiky v dvadsiatom storočí. Jeho práca, najmä v oblasti teórie modelov a konceptu pravdy, ho zaraďuje medzi najvýznamnejších mysliteľov histórie. Tarski sa preslávil svojimi prínosmi do matematickej logiky a abstraktnej algebry, pričom jeho vplyv presahuje aj do filozofie. Jeho hlboké bádanie a nové myšlienky naďalej ovplyvňujú súčasné vedecké diskurzy.
