paratodo x

Tue 25 Aug 2015 10:19 AM

A while ago, I was contacted by José Gascón about translating forall x. The open license already gave him permission, but he reached out anyway.

A few days ago, he sent me paratodo x. Because of the spacing of the title, I read this as "paradox" at first. Then I had an uncanny moment of not knowing what that "t" was doing in the middle of the word. Finally, I sorted out what I was looking at.

I think this is a cool resource, so I posted a copy at the UAlbany institutional archive. The LaTeX source files are included, so the Spanish edition can take on a life of its own.

Link: paratodo x: Una Introducción a la Lógica Formal