Proofs and Refutations for Intuitionistic and Second-Order Logic
Volver al Detalle
2022
Citas: 0
Origen de Colaboraciones Internacionales
Colaboradores
| Nombre | Ubicación / País |
|---|---|
| Pablo Barenbaum | France |
| Teodoro Freund | United Kingdom |