Rachunek kwantyfikatorów (Q225487)
Jump to navigation
Jump to search
No description defined
- Logika kwantyfikatorów
- Logika predykatów
- Rachunek predykatów
- Predicate calculus
- Predicate logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rachunek kwantyfikatorów |
No description defined |
|
Statements
a0000003770765
0 references
P40617T42614
0 references