Bilaketaren emaitzak

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

Testu osoa

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

Testu osoa

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

Testu osoa

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

Testu osoa

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

Testu osoa

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

Testu osoa