Resultados da pesquisa

Phenomenology, logic, and the philosophy of mathematics / Por Tieszen, Richard L., 1951-2017

Obter o texto integral

Constructibility and mathematical existence / Por Chihara, Charles S., 1932-

Obter o texto integral

Bounded arithmetic, propositional logic, and complexity theory / Por Krajíček, Jan

Obter o texto integral

Fine structure and iteration trees / Por Mitchell, William J., Steel, J. R. (John R.), 1948-

Obter o texto integral

Predicative Arithmetic. (MN-32). Por Nelson, Edward, 1932-

Obter o texto integral

From perturbative to constructive renormalization / Por Rivasseau, Vincent, 1955-

Obter o texto integral