Reglas de reemplazo | nota

Nota

  1. no admitida en la lógica intuicionista
Other Languages