Deducibility and decidability. ([date of publication not identified])