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

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

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

From perturbative to constructive renormalization. Por Rivasseau, Vincent

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