MATHEMATICS+LOGIC

Logic: From Philosophy to Mathematics?: Towards George Boole's Algebra of Logic

Markov's Principle: Andrey Markov (Soviet mathematician), Tautology (logic), Intuitionistic Logic, Constructivism (mathematics).

The Oxford Handbook of Philosophy Mathematics and Logic

the Story of Proof: Logic and History Mathematics