Matematická logika - Brabec, Jiří, 1930- (ČVUT, 1980)