Teoria typów (Q652541): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Type theory
@@ aliases / en / 1 / aliases / en / 1 @@
+Typów, teoria
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Type theory
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Typów, teoria
@@ Property / National Library Identifier @@
+a0000003802237
@@ Property / National Library Identifier: a0000003802237 / rank @@
+Normal rank
@@ Property / Related person @@
+Russell, Bertrand
@@ Property / Related person: Russell, Bertrand / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika matematyczna
@@ Property / Related Subject: Logika matematyczna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logiki wyższych rzędów
@@ Property / Related Subject: Logiki wyższych rzędów / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P10192T39258
@@ Property / Version: P10192T39258 / rank @@
+Normal rank

Latest revision as of 23:40, 28 November 2023