A notion of mechanistic theory, Synthese 29 (1974)

by G Kreisel