Resultados da pesquisa

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 Por Krajihcek, Jan

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

Phenomenology, logic, and the philosophy of mathematics Por Tieszen, Richard

From perturbative to constructive renormalization. Por Rivasseau, Vincent

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

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