scientific article; zbMATH DE number 3542387

zbMath0348.02005MaRDI QIDQ4117807

Ross T. Brady

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items

Algorithms for finding matrix models of propositional calculi