Logiki wyższych rzędów (Q652507)
No description defined
- Higher-order logic
- Logika drugiego rzędu
- Logika II rzędu
- Logika wyższego rzędu
- Second-order logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logiki wyższych rzędów |
No description defined |
|
Statements
a0000003802245
0 references
P37642T10439
0 references