Matematické důkazy - Thiele, Rüdiger (Polytechnická knižnice, 1985)
Úvod do formální logiky a přehled různých typů důkazů používaných v matematice.