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

@@ Property / P4 (Deleted Property) @@
-Rachunek kwantyfikatorów Property P4 not found, cannot determine the data type to use.
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-Vernon Roche
@@ Property / Version: Vernon Roche / rank @@
-Normal rank
@@ 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