Hakutulokset

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

Hae kokoteksti

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

Hae kokoteksti

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

Hae kokoteksti

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

Hae kokoteksti

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

Hae kokoteksti

From perturbative to constructive renormalization / Tekijä Rivasseau, Vincent, 1955-

Hae kokoteksti