Student osiągnie dzięki temu umiejętność praktycznego wykorzystywania narzędzi formalnologicznych, co będzie pomocne w studiach nad wybraną dziedziną nauki, w przyszłej pracy badawczej czy pedagogicznej. Zbiór ma zdecydowane walory dydaktyczne: przejrzyste ujęcie materiału, stopniowanie trudności, wyjaśnianie pojęć logicznych; zawiera wskazówki ułatwiające rozwiązywanie zadań bardziej skomplikowanych, wykaz symboli logicznych i ich synonimów, indeks pojęć logicznych z odesłaniami do ich wyjaśnień i zastosowań, zestaw zadań kontrolnych z rozwiązaniami. Będzie bardzo pomocny w studiowaniu logiki, bo umożliwi studentowi samodzielną i systematyczną kontrolę prawidłowości procesu uczenia się i jego wyników.
