Resultats de la cerca

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

Obtenir text complet

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

Obtenir text complet

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

Obtenir text complet

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

Obtenir text complet

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

Obtenir text complet

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

Obtenir text complet