Podstawy logiki - Tadeusz Batóg

Książka ta jest przeznaczona głównie dla studentów matematyki i filozofii, ale może być użyteczna również dla studentów innych kierunków. Jest to książka przystępna dzięki możliwie dokładnemu i ścisłemu przedstawieniu zawartej w niej problematyki. Zakres przedstawionego materiału obejmuje problematykę związana z prawami logicznymi, dowodzeniem, wynikaniem i definiowaniem, czyli materiał, którego znajomość jest najbardziej niezbędna u każdego matematyka i filozofa. Obecne, drugie wydanie tej książki zostało rozszerzone o kilka nowych paragrafów. Dotyczą one dualności, aksjomatycznego ujęcia metateorii, relatywizacji kwantyfikatorów, definicji indukcyjnych i definicji w rachunku zdań.