Latex pour les logiciens
LateX layouts, templates etc:
A la ASL(Association for Symbolic Logic)
A laSpringer Verlag (note : for books, the class provided now is "svmono". For the old (?) "CLmono" class click here).
A la Cambridge University Press
There is also the sophisticated memoir class.
And the Simple Thesis class from Melbourne.
LateX softwares:
For LateX slides : try Beamer.
For Mac users, to manage bibliographies and BibteX files, Bibdesk is very good.
LateX Links :
LateX online textbook :
The not so short introduction to LateX
M. Baudoin : Apprends LateX (en français)