logica matematica i. logica proposicional intuicionista y modal

max fernandez de castro · uam (universidad autonoma metropolitana)