Choice sequences and reduction processes (Q4189272): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory and intuitionistic systems
@@ Property / cites work: Proof theory and intuitionistic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Induction and transfinite induction in intuitionistic systems
+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
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4189272