Symbolische logica (Servire, 1950)