Basic Properties and a Construction Method for Fail-Safe Logical Systems

From MaRDI portal
Publication:5583554