Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985 (Q3755422): 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/2273930
@@ Property / full work available at URL: https://doi.org/10.2307/2273930 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2126453709
@@ Property / OpenAlex ID: W2126453709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117768
@@ Property / cites work: Q4117768 / rank @@
+Normal rank
@@ Property / cites work @@
+Progress report on generalized functionality
@@ Property / cites work: Progress report on generalized functionality / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Information storage and retrieval systems: Mathematical foundations
+Normal rank
@@ Property / cites work @@
+Intuitionist type theory and the free topos
@@ Property / cites work: Intuitionist type theory and the free topos / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3755422