Inleiding tot de symbolische logica door Swart