Axiomatic framework for classical mechanics without spacetime

mathematical role of time and spacetime in classical physics (Newton Da Costa)

Thomas Vaughan Works

Butterfield : Topos theory and Partial Truth

Variable Binders as Functors

brunnerJesus