How to glue analysis models (Q3695281): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274283
@@ Property / full work available at URL: https://doi.org/10.2307/2274283 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2099358884
@@ Property / OpenAlex ID: W2099358884 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and the intuitionistic theory of species
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of Kripke models to formal systems of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3695281