Książka zawiera wybrane zagadnienia z logiki matematycznej i teorii mnogości.
Książka jest oryginalnym i nowoczesnym podręcznikiem logiki matematycznej i teorii mnogości, uzupełnionym o własne rezultaty badawcze (założeniowa dedukcja naturalna - DN2) oraz doświadczenia dydaktyczne autora. Zawiera obszerne, ale jednocześnie zwarte przedstawienie w zasadzie całej problematyki
Książka zawiera elementarny wykład logiki matematycznej i teorii mnogości.
Książka jest wyjątkowo obszernym podręcznikiem logiki matematycznej, której autor jest znanym autorytetem w tej dziedzinie matematyki. Treść składa się z następujących rozdziałów: - Logiczna analiza podstaw matematyki - Klasyczny rachunek logiczny - Modele teorii aksjomatycznych - Logiczna
Skrypt zawiera materiał z zakresu logiki przeznaczony dla studentów Akademii Sztuki Wojennej, składa się z czterech rozdziałów. Pierwszy to zarys historyczny logiki, w drugim przedstawione są elementy logiki formalnej, wprowadzenie do teorii mnogości zamieszczone jest w rozdziale trzecim, zaś
Kolejne wznowienie podręcznika znanego wielu pokoleniom studentów matematyki. Zawiera elementy logiki matematycznej, teorii mnogości i algebry abstrakcyjnej w zakresie zapewniającym czytelnikowi odpowiednie przygotowanie do studiowania matematyki. Publikacja jest przeznaczona przede wszystkim dla
