Realizabilidad clásica de Krivine
Supervisor(es): Guillermo, Mauricio
| 2022 | |
|
LOGICA MATEMATICA REALIZABILIDAD CLASICA LOGICA DE SEGUNDO ORDEN ARITMETICA DE PEANO LEY DE PEIRCE |
|
| Español | |
| Universidad de la República | |
| COLIBRI | |
| https://hdl.handle.net/20.500.12008/33467 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
