Introducción a la lógica con Lean.
Home Page:https://github.com/jaalonso/Logica_con_Lean/raw/master/Logica_con_Lean.pdf
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool