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: 2.

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]

This list was generated on Thu Sep 21 02:56:25 2017 EDT.