Logika pierwszego rzędu (Q89440)
Jump to navigation
Jump to search
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
Imlerith
0 references