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 ] ( 686 views )   |  [ 0 trackbacks ]   |  permalink

<<First <Back | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | Next> Last>>