Rezultaty

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe

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

Dokumenty pełnotekstowe