Publication:3684104
From MaRDI portal
zbMath0568.03008MaRDI QIDQ3684104
Publication date: 1983
architecture; propositional formulas; brain; biology; deductive systems; conjunctive normal form; Post systems; cognition theory
03A05: Philosophical and critical aspects of logic and foundations
03B35: Mechanization of proofs and logical operations
03D15: Complexity of computation (including implicit computational complexity)
03B05: Classical propositional logic