Torthaí cuardaigh

Foundational theories of classical and constructive mathematics

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

Bounded arithmetic, propositional logic, and complexity theory de réir Krajihcek, Jan

Foundations of algorithms using C++ pseudocode de réir Neapolitan, Richard E.

Phenomenology, logic, and the philosophy of mathematics de réir Tieszen, Richard

From perturbative to constructive renormalization. de réir Rivasseau, Vincent

Notes on constructive mathematics de réir Martin-Lof, Per 1942-

Foundations of algorithms using C++ pseudocode de réir Neapolitan, Richard E.