S 24.463
Matematická logika / Marie Demlová, Bedřich Pondělíček. -- Vyd. 1. -- Praha : Vydavatelství ČVUT, 1997. -- ISBN : 80-01-01683-8.
Pondělíček, Bedřich, 1932-2001. České vysoké učení technické v Praze. Elektrotechnická fakulta
matematická logika * učebnice vysokých škol
510.6