On Skolemization in constructive theories (Q3617374): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1230396760
@@ Property / DOI: 10.2178/jsl/1230396760 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3023954237
@@ Property / OpenAlex ID: W3023954237 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Skolemization of existential quantifiers in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3060302
@@ Property / cites work: Q3060302 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1230396760
@@ Property / DOI: 10.2178/JSL/1230396760 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3617374