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 logiczno-teoriomnogościowej. Służyć może pomocą studentom kierunków ścisłych, a nawet pracownikom naukowo-dydaktycznym.
- Autor: Ludwik Borkowski
- Kategoria: informatyka, matematyka
- Język: polski
- ISBN: 8385291210
- Data wydania: 1991-01-01
- Liczba stron: 445
- Ocena: 0,0
- Wydawnictwo: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego
