Resultados de procura

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso