Computations in fragments of intuitionistic propositional logic (Q1181713): Difference between revisions

@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077987
@@ Property / cites work: Q4077987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5631083
@@ Property / cites work: Q5631083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936721
@@ Property / cites work: Q3936721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519895
@@ Property / cites work: Q5519895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3924162
@@ Property / cites work: Q3924162 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank