A grammar of functions (Q2529469): Difference between revisions

@@ Property / author @@
-Abe Sklar
@@ Property / author: Abe Sklar / rank @@
-Normal rank
@@ Property / author @@
+Abe Sklar
@@ Property / author: Abe Sklar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5514010
@@ Property / cites work: Q5514010 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding of algebraic systems
@@ Property / cites work: Embedding of algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3848243
@@ Property / cites work: Q3848243 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Theorems on Essential Variables
@@ Property / cites work: Two Theorems on Essential Variables / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the algebra of transformations over a set
+Normal rank
@@ Property / cites work @@
+The Substitutive Law
@@ Property / cites work: The Substitutive Law / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract mean values
@@ Property / cites work: Abstract mean values / rank @@
+Normal rank
@@ Property / cites work @@
+On η-valued functionally complete truth functions
+Normal rank
@@ Property / cites work @@
+Q5535414
@@ Property / cites work: Q5535414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5729340
@@ Property / cites work: Q5729340 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592596
@@ Property / cites work: Q5592596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848985
@@ Property / cites work: Q5848985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259760
@@ Property / cites work: Q3259760 / rank @@
+Normal rank
@@ Property / cites work @@
+ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX
@@ Property / cites work: ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX / rank @@
+Normal rank
@@ Property / cites work @@
+Two theorems on the generation of systems of functions
+Normal rank
@@ Property / cites work @@
+Q5340936
@@ Property / cites work: Q5340936 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+General Recursive Functions
@@ Property / cites work: General Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of functions
@@ Property / cites work: The algebra of functions / rank @@
+Normal rank
@@ Property / cites work @@
+Function systems
@@ Property / cites work: Function systems / rank @@
+Normal rank
@@ Property / cites work @@
+A mapping-algebra with infinitely many operations
@@ Property / cites work: A mapping-algebra with infinitely many operations / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of multiplace vector-valued functions
@@ Property / cites work: The algebra of multiplace vector-valued functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804282
@@ Property / cites work: Q5804282 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Properties of N-Valued Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Generation of any N-Valued Logic by One Binary Operation
+Normal rank
@@ Property / cites work @@
+Complete Connectives for the 3-Valued Propositional Calculus
+Normal rank
@@ Property / cites work @@
+A composition algebra for multiplace functions
@@ Property / cites work: A composition algebra for multiplace functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5542129
@@ Property / cites work: Q5542129 / rank @@
+Normal rank