A formal system for classical particle mechanics, its model-theoretic applications and space-time structure

1995

Toshio Ishigaki

Synthese 102 (2)