Formális logika - Havas Katalin, G. ([Bp.] Kossuth K., 1973)