Rozstrzygalność i nierozstrzygalność (Q387417): Difference between revisions

@@ Property / National Library Identifier @@
+a0000003815186
@@ Property / National Library Identifier: a0000003815186 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Eliminacja kwantyfikatorów
@@ Property / Related Subject: Eliminacja kwantyfikatorów / rank @@
+Normal rank
@@ Property / Related Subject @@
+Maszyna Turinga
@@ Property / Related Subject: Maszyna Turinga / rank @@
+Normal rank
@@ Property / Related Subject @@
+Metamatematyka
@@ Property / Related Subject: Metamatematyka / rank @@
+Normal rank
@@ Property / Related Subject @@
+Teoria obliczalności
@@ Property / Related Subject: Teoria obliczalności / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P49958T63393
@@ Property / Version: P49958T63393 / rank @@
+Normal rank

Latest revision as of 23:05, 27 November 2023