Rachunek kwantyfikatorów (Q225487): Difference between revisions

Revision as of 20:47, 19 September 2023

No description defined

Language	Label	Description	Also known as
English	Rachunek kwantyfikatorów	No description defined	Logika kwantyfikatorów Logika predykatów Rachunek predykatów Predicate calculus Predicate logic

Azar Javed

0 references

@@ aliases / en / 0 / aliases / en / 0 @@
+Logika kwantyfikatorów
@@ aliases / en / 1 / aliases / en / 1 @@
+Logika predykatów
@@ aliases / en / 2 / aliases / en / 2 @@
+Rachunek predykatów
@@ aliases / en / 3 / aliases / en / 3 @@
+Predicate calculus
@@ aliases / en / 4 / aliases / en / 4 @@
+Predicate logic
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Logika kwantyfikatorów
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Logika predykatów
@@ aliases / pl / 2 / aliases / pl / 2 @@
+Rachunek predykatów
@@ aliases / pl / 3 / aliases / pl / 3 @@
+Predicate calculus
@@ aliases / pl / 4 / aliases / pl / 4 @@
+Predicate logic
@@ Property / Version @@
+Azar Javed
@@ Property / Version: Azar Javed / rank @@
+Normal rank