frege / bertrand russell / Whitehead, formal logic as stepwise derivation

ludwig wittgenstein logical form as mirrored in the structure of reality, atomic facts compose into more complex facts

brouwer in intuitionism, logic is a constructive mental activity, the steps come from the “mind’s unfolding”