. Logic is a tool to make new models
Has anyone come up with a decent model by mechanically applying a logical procedure?
Has anyone come up with a decent model by mechanically applying a logical procedure?