Matematická logika - Bek, Roman, 1924- (ČVUT, 1981)
Nad názvem: České vysoké učení technické, Fakulta stavební.