 |
| |||
| anden ordens logik; anden ordens prædikatskalkyle; logik af anden orden; prædikatskalkyle af anden orden | |||
|
second order logic : 5 短语, 1 学科 |
| 信息技术 | 5 |
|
| |||
| anden ordens logik; anden ordens prædikatskalkyle; logik af anden orden; prædikatskalkyle af anden orden | |||
|
second order logic : 5 短语, 1 学科 |
| 信息技术 | 5 |