Programming problems in mathematical logic (Q5550156): Difference between revisions

@@ Property / cites work @@
+Q5792035
@@ Property / cites work: Q5792035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3287246
@@ Property / cites work: Q3287246 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulae Corresponding to Flip‐Flops
@@ Property / cites work: Formulae Corresponding to Flip‐Flops / rank @@
+Normal rank
@@ Property / cites work @@
+The determination of all Sheffer functions in 3-valued logic, using a logical computer
+Normal rank
@@ Property / cites work @@
+DETERMINATION OF THE SET OF ALL FOUR‐VARIABLE FORMULAE CORRESPONDING TO UNIVERSAL DECISION ELEMENTS USING A LOGICAL COMPUTER
+Normal rank
@@ Property / cites work @@
+Q3251705
@@ Property / cites work: Q3251705 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulae corresponding to universal decision elements
+Normal rank
@@ Property / cites work @@
+Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
+Normal rank
@@ Property / cites work @@
+The use of universal decision elements as flip‐flops
+Normal rank
@@ Property / cites work @@
+Q3256305
@@ Property / cites work: Q3256305 / rank @@
+Normal rank