Symbolische logika en wetenschappen by Pater