Logika pierwszego rzędu (Q89440)
No description defined
- First-order logic
- First-order predicate calculus
- First-order predicate logic
- FOL
- Logic, first-order
- Logika I rzędu
- Pierwszego rzędu, logika
- Predicate calculus, first-order
- Predicate logic, first-order
- Rachunek kwantyfikatorów pierwszego rzędu
- Rachunek predykatów pierwszego rzędu
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logika pierwszego rzędu |
No description defined |
|
Statements
a0000003801690
0 references
P71461T54157
0 references