Models of logical systems (Q5792477): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2268136
@@ Property / full work available at URL: https://doi.org/10.2307/2268136 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2128969865
@@ Property / OpenAlex ID: W2128969865 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5835081
@@ Property / cites work: Q5835081 / rank @@
+Normal rank
@@ Property / cites work @@
+Über Extremalaxiome
@@ Property / cites work: Über Extremalaxiome / rank @@
+Normal rank