Pierwsza część zawiera najważniejsze fragmenty logiki matematycznej ze szczególnym uwzględnieniem rachunku zdań, rachunku kwanty?katorów i elementów rachunku zbiorów. Omówione tu pojęcia są niezbędne dla zrozumienia każdego działu matematyki, a także podstaw informatyki, która w dużej części wyrosła z logiki. Ta część książki zawiera także fragment