Two ads for positions with AOS or AOC in logic: The Department of Philosophy, University of Alberta, invites applications for a tenure-track position in Philosophy, with a specialization in Logic. Other areas of research and teaching specialization and competence are open. The appointment will be made at the rank of Assistant Professor, effective July 1, … Continue reading Logic Jobs at Alberta, Simon Fraser
Month: August 2007
Turnstiles in LaTeX
The new LaTeX package turnstile lets you make fancy turnstile characters and put labels above and below the line (e.g., \vdash^x_L, but the right way).HT: The Academic Geek (aka Kai von Fintel)