From Boolean algebra to unified algebra (Q1889959): Difference between revisions

@@ Property / cites work @@
+Structured calculational proof
@@ Property / cites work: Structured calculational proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643939
@@ Property / cites work: Q5643939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384471
@@ Property / cites work: Q4384471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282663
@@ Property / cites work: Q4282663 / rank @@
+Normal rank
@@ Property / cites work @@
+From Boolean algebra to unified algebra
@@ Property / cites work: From Boolean algebra to unified algebra / rank @@
+Normal rank
@@ Property / cites work @@
+How to Write a Proof
@@ Property / cites work: How to Write a Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
+Normal rank
@@ Property / cites work @@
+Highlights of the History of the Lambda-Calculus
@@ Property / cites work: Highlights of the History of the Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282659
@@ Property / cites work: Q4282659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank