| |||
| cálculo de predicados de segundo orden; lógica de predicados de segundo orden; lógica de segundo orden | |||
|
second order logic : 4 phrases, 1 sujets |
| Informatique | 4 |
| |||
| cálculo de predicados de segundo orden; lógica de predicados de segundo orden; lógica de segundo orden | |||
|
second order logic : 4 phrases, 1 sujets |
| Informatique | 4 |