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í.
Nevyhnutné