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: Preprint
Number of items at this level: 4.

Preprint

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

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

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

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

This list was generated on Sun Nov 19 11:23:34 2017 EST.