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

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]

This list was generated on Mon Nov 20 12:26:44 2017 EST.