Αποτελέσματα αναζήτησης

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

Λήψη πλήρους κειμένου

Constructibility and mathematical existence / από Chihara, Charles S., 1932-

Λήψη πλήρους κειμένου

Bounded arithmetic, propositional logic, and complexity theory / από Krajíček, Jan

Λήψη πλήρους κειμένου

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

Λήψη πλήρους κειμένου

Predicative Arithmetic. (MN-32). από Nelson, Edward, 1932-

Λήψη πλήρους κειμένου

From perturbative to constructive renormalization / από Rivasseau, Vincent, 1955-

Λήψη πλήρους κειμένου