Logiki wyższych rzędów (Q652507): Difference between revisions

Latest revision as of 23:40, 28 November 2023

No description defined

Language	Label	Description	Also known as
English	Logiki wyższych rzędów	No description defined	Higher-order logic Logika drugiego rzędu Logika II rzędu Logika wyższego rzędu Second-order logic

a0000003802245

0 references

0 references

0 references

0 references

0 references

0 references

P37642T10439

0 references

@@ aliases / en / 0 / aliases / en / 0 @@
+Higher-order logic
@@ aliases / en / 1 / aliases / en / 1 @@
+Logika drugiego rzędu
@@ aliases / en / 2 / aliases / en / 2 @@
+Logika II rzędu
@@ aliases / en / 3 / aliases / en / 3 @@
+Logika wyższego rzędu
@@ aliases / en / 4 / aliases / en / 4 @@
+Second-order logic
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Higher-order logic
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Logika drugiego rzędu
@@ aliases / pl / 2 / aliases / pl / 2 @@
+Logika II rzędu
@@ aliases / pl / 3 / aliases / pl / 3 @@
+Logika wyższego rzędu
@@ aliases / pl / 4 / aliases / pl / 4 @@
+Second-order logic
@@ Property / National Library Identifier @@
+a0000003802245
@@ Property / National Library Identifier: a0000003802245 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Rachunek kwantyfikatorów
@@ Property / Related Subject: Rachunek kwantyfikatorów / rank @@
+Normal rank
@@ Property / Related Subject @@
+Arytmetyka drugiego rzędu
@@ Property / Related Subject: Arytmetyka drugiego rzędu / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika pierwszego rzędu
@@ Property / Related Subject: Logika pierwszego rzędu / rank @@
+Normal rank
@@ Property / Related Subject @@
+Teoria typów
@@ Property / Related Subject: Teoria typów / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P37642T10439
@@ Property / Version: P37642T10439 / rank @@
+Normal rank