WPROWADZENIE DO LOGIKI I TEORII MNOGOŚCI
Ludwik Borkowski
Wydawca: Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego, 1991
Ilość stron: 445 s.
Oprawa: miękka
Wymiar: 176 x 250 mm
ISBN: 83[zasłonięte]85291-0
Książka niniejsza zawiera nieco uzupełniony materiał trzyletniego kursu logiki i teorii mnogości dla studentów filozofii teoretycznej na Katolickim Uniwersytecie Lubelskim, obejmującego na I roku studiów wiadomości o rachunkach logicznych (= Część I), na II roku wiadomości z teorii mnogości (= Część II), na III roku wiadomości z teorii systemów dedukcyjnych (= Część III bez rozdziału V). Rozdział V części III zawiera wiadomości dotyczące pojęcia obliczalności, metod logicznych Gentzena i Betha oraz aksjomatycznej metody odrzucania. Wiadomości te wykraczają poza materiał kursowy i mogą być przedmiotem wykładów monograficznych.
Termin "logika" występujący w tytule mógłby być zastąpiony terminem "logika matematyczna". Należy jednak zaznaczyć, że w książce tej przedstawia się również rachunki logiczne powstałe z inspiracji filozoficznej, których nie omawia się w podręcznikach logiki matematycznej.
Materiał przykładowy został ograniczony z uwagi na rozmiary książki. Informuję jednak, że książka ta zostanie uzupełniona zbiorem zadań i przykładów.