Matematické důkazy - Thiele, Rüdiger, 1945- (SNTL, 1985)
Keywords: matematické důkazy; formální logika; mathematical proofs; formal logic