Matematická logika - Bošjak, Štefan; Ulašin, Vladimír (Bratislava : Rektorát Vysokej školy ekonomickej, 1976)