A strong normalization result for classical logic (Q1902976): Difference between revisions

@@ Property / cites work @@
+Q4281464
@@ Property / cites work: Q4281464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical significance of consistency proofs
@@ Property / cites work: Mathematical significance of consistency proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank