Zarys matematyki. Logika, algebra, analiza matematyczna - Błaszczyk Aleksander, Sławomir Turek

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 fragmenty działu matematyki nazywanego kombinatoryką, która także jest silnie obecna w informatyce i logistyce.