Q3495524 (Q3495524): Difference between revisions

@@ Property / cites work @@
+Q5798842
@@ Property / cites work: Q5798842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996437
@@ Property / cites work: Q3996437 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4735315
@@ Property / cites work: Q4735315 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar as Mathematics
@@ Property / cites work: Grammar as Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145693
@@ Property / cites work: Q4145693 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar and logic*
@@ Property / cites work: Grammar and logic* / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical equivalence of proofs
@@ Property / cites work: A categorical equivalence of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of proofs
@@ Property / cites work: Algebra of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3470458
@@ Property / cites work: Q3470458 / rank @@
+Normal rank