Logika formalna

Książka niniejsza przeznaczona jest głównie dla osób pragnących zaznajomić się obszerniej ze współczesną logiką formalną a nie mającuch specjalnego przygotowania matematycznego. Ten wzgląd decyduje o wyborze materiału, dążności do możliwie przystępnego sposobu ujęcia i o doborze przykładów. Cztery pierwsze rozdziały i część rozdziału V oprócz wiadomości ogólnych, potrzebnych przy lekturze następnych rozdziałów, zawierają obszerne, ale możliwie przystępnie ujęte wiadomości z najważniejszych rachunków logicznych, mianowicie klasycznego rachunku zdań, kwantyfikatorów, zbiorów i relacji [...]Książka nie zawiera osobnych ćwiczeń, ale w rozdziałach III, IV i V znajdzie czytelnik materiał do takich ćwiczeń w postaci sporej ilości twierdzeń, które są podane bez dowodu czy też z mniej lub bardziej szczegółowymi wskazówkami, jak należy przeprowadzić ich dowody [fragmenty wstępu].