Interpreting descriptions in intensional type theory (Q5718672): Difference between revisions

@@ Property / cites work @@
+Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol
+Normal rank
@@ Property / cites work @@
+The predicate calculus with \(\varepsilon\)-symbol
+Normal rank
@@ Property / cites work @@
+Q5675348
@@ Property / cites work: Q5675348 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843182
@@ Property / cites work: Q4843182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Heyting predicate calculus with epsilon symbol
@@ Property / cites work: Heyting predicate calculus with epsilon symbol / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A General Theory of Completeness Proofs
@@ Property / cites work: A General Theory of Completeness Proofs / rank @@
+Normal rank