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 di Tieszen, Richard

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

Bounded arithmetic, propositional logic, and complexity theory di Krajihcek, Jan

From perturbative to constructive renormalization. di Rivasseau, Vincent

Notes on constructive mathematics di Martin-Lof, Per 1942-