Foundational theories of classical and constructive mathematics

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Phenomenology, logic, and the philosophy of mathematics по Tieszen, Richard

Foundations of algorithms using C++ pseudocode по Neapolitan, Richard E.

Bounded arithmetic, propositional logic, and complexity theory по Krajihcek, Jan

From perturbative to constructive renormalization. по Rivasseau, Vincent

Notes on constructive mathematics по Martin-Lof, Per 1942-