Logika matematyczna - Paweł Zbierski, Zofia Adamowicz - książka wyd. 1991

Opis

Książka ta jest podręcznikiem logik matematycznej, przeznaczonym dla studentów starszych lat matematyki lub wydziałów pokrewnych. Autorzy zakładają znajomość takich pojęć jak spójniki (funktory) logiczne oraz kwantyfikatory. Każdego rozdział kończy się zadaniami, do których rozwiązania autorzy zachęcają. Cześć I (rozdziały 1-17) zawiera kurs podstawowy. Część (rozdziały 18-24) zawierają materiał rozszerzony, a tym samym trudniejszy. Naturalnie dokonany został pewien wybór materiału oraz sposób jego przedstawienia. Pojęcia logiczne i ich relacje są rozważane na gruncie teorii mnogości, wobec tego książka posługuje się standardowym aparatem teorii mnogości, nie wykraczającym poza typowy wykład wstępu do matematyki. Termy i formuły języka logiki są obiektami teoriomnogościowymi, czyli zbiorami, ciągami zbiorów itp.