P-M 449
Thiele, Rüdiger, 1945-
Matematické důkazy / Rüdiger Thiele ; z něm. přel. Alois Kufner, Štefan Schwabik. -- 2., nezm. vyd. -- Praha : SNTL, 1986. -- 160 s. : obr. ; 21 cm. -- (Polytechnická knižnice. Řada 1, Věda a technika populárně; Sv. 27). -- Vazba Vladislav Jacák. -- Jmenný a věcný rejstřík. -- Odkazy na lit. -- Pozn. -- Přehl. lit. -- 5000 výt.
Schwabik, Štefan, 1941-2009. Kufner, Alois, 1934-
formální logika. matematické důkazy. příručky
51:168.3. 164. (035). 510.6