Arytmetyka Presburgera (Q405759): Difference between revisions

@@ Property / National Library Identifier @@
+a1000000005093
@@ Property / National Library Identifier: a1000000005093 / rank @@
+Normal rank
@@ Property / Related person @@
+Presburger, Mojżesz
@@ Property / Related person: Presburger, Mojżesz / rank @@
+Normal rank
@@ Property / Related Subject @@
+System aksjomatyczny
@@ Property / Related Subject: System aksjomatyczny / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika matematyczna
@@ Property / Related Subject: Logika matematyczna / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P90250T71114
@@ Property / Version: P90250T71114 / rank @@
+Normal rank