PhilSci Archive

Items where Subject is "Specific Sciences > Mathematics > Methodology"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: A | B | S | T | V
Number of items at this level: 5.

A

Avigad, Jeremy (2017) Modularity in Mathematics. [Preprint]

B

Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

S

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. [Preprint]

T

Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]

V

Veilahti, Antti (2017) Higher Theory and the Three Problems of Physics. [Preprint]

This list was generated on Sun Jan 21 06:38:10 2018 EST.