paratodo x 
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


Add Comment

Fill out the form below to add your own comments.

Insert Special:

Moderation is turned on for this blog. Your comment will require the administrators approval before it will be visible.