Restoring old revision of "Item:Q89440"

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.

@@ aliases / en / 0 / aliases / en / 0 @@
-First-order logic
@@ aliases / en / 1 / aliases / en / 1 @@
-First-order predicate calculus
@@ aliases / en / 2 / aliases / en / 2 @@
-First-order predicate logic
@@ aliases / en / 3 / aliases / en / 3 @@
-FOL
@@ aliases / en / 4 / aliases / en / 4 @@
-Logic, first-order
@@ aliases / en / 5 / aliases / en / 5 @@
-Logika I rzędu
@@ aliases / en / 6 / aliases / en / 6 @@
-Pierwszego rzędu, logika
@@ aliases / en / 7 / aliases / en / 7 @@
-Predicate calculus, first-order
@@ aliases / en / 8 / aliases / en / 8 @@
-Predicate logic, first-order
@@ aliases / en / 9 / aliases / en / 9 @@
-Rachunek kwantyfikatorów pierwszego rzędu
@@ aliases / en / 10 / aliases / en / 10 @@
-Rachunek predykatów pierwszego rzędu
@@ aliases / pl / 0 / aliases / pl / 0 @@
-First-order logic
@@ aliases / pl / 1 / aliases / pl / 1 @@
-First-order predicate calculus
@@ aliases / pl / 2 / aliases / pl / 2 @@
-First-order predicate logic
@@ aliases / pl / 3 / aliases / pl / 3 @@
-FOL
@@ aliases / pl / 4 / aliases / pl / 4 @@
-Logic, first-order
@@ aliases / pl / 5 / aliases / pl / 5 @@
-Logika I rzędu
@@ aliases / pl / 6 / aliases / pl / 6 @@
-Pierwszego rzędu, logika
@@ aliases / pl / 7 / aliases / pl / 7 @@
-Predicate calculus, first-order
@@ aliases / pl / 8 / aliases / pl / 8 @@
-Predicate logic, first-order
@@ aliases / pl / 9 / aliases / pl / 9 @@
-Rachunek kwantyfikatorów pierwszego rzędu
@@ aliases / pl / 10 / aliases / pl / 10 @@
-Rachunek predykatów pierwszego rzędu
@@ Property / National Library Identifier @@
-a0000003801690
@@ Property / National Library Identifier: a0000003801690 / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek kwantyfikatorów
@@ Property / Related Subject: Rachunek kwantyfikatorów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Algebra cylindryczna
@@ Property / Related Subject: Algebra cylindryczna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Algebra poliadyczna
@@ Property / Related Subject: Algebra poliadyczna / 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 / Related Subject @@
-Micro-Prolog (język programowania)
@@ Property / Related Subject: Micro-Prolog (język programowania) / rank @@
-Normal rank
@@ Property / Related Subject @@
-Podstawy matematyki
@@ Property / Related Subject: Podstawy matematyki / rank @@
-Normal rank
@@ Property / Related Subject @@
-PROLOG (język programowania)
@@ Property / Related Subject: PROLOG (język programowania) / rank @@
-Normal rank
@@ Property / Related Subject @@
-Twierdzenie Craiga
@@ Property / Related Subject: Twierdzenie Craiga / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P71461T54157
@@ Property / Version: P71461T54157 / rank @@
-Normal rank