On A neglected path to intuitionism (Q2339011): 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.1007/s11245-011-9108-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2063044380
@@ Property / OpenAlex ID: W2063044380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001483
@@ Property / cites work: Q4001483 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+From worlds to possibilities
@@ Property / cites work: From worlds to possibilities / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Possible Worlds
@@ Property / cites work: Possible Worlds / rank @@
+Normal rank