Programming problems in mathematical logic
From MaRDI portal
Publication:5550156
DOI10.1007/BF01939332zbMath0165.18803MaRDI QIDQ5550156
Publication date: 1968
Published in: BIT (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The determination of all Sheffer functions in 3-valued logic, using a logical computer
- Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
- The use of universal decision elements as flip‐flops
- DETERMINATION OF THE SET OF ALL FOUR‐VARIABLE FORMULAE CORRESPONDING TO UNIVERSAL DECISION ELEMENTS USING A LOGICAL COMPUTER
- Formulae corresponding to universal decision elements
- Formulae Corresponding to Flip‐Flops
This page was built for publication: Programming problems in mathematical logic
