Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen (Q4401924): Difference between revisions

@@ Property / cites work @@
+Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633977
@@ Property / cites work: Q5633977 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic analysis and Gödel's interpretation
+Normal rank