Principal type-schemes and condensed detachment (Q3489979): Difference between revisions

@@ Property / cites work @@
+The combinatory foundations of mathematical logic
@@ Property / cites work: The combinatory foundations of mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Entailment
@@ Property / cites work: On Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960658
@@ Property / cites work: Q3960658 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank