Søgeresultater

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

Få fuldtekst

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

Få fuldtekst

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

Få fuldtekst

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

Få fuldtekst

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

Få fuldtekst

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

Få fuldtekst