Résultats de la recherche

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

Accéder au texte intégral

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

Accéder au texte intégral

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

Accéder au texte intégral

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

Accéder au texte intégral

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

Accéder au texte intégral

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

Accéder au texte intégral