• LaTex for Logicians
  
  A guide to LaTeX resources useful to logicians writing papers, presentations and books
  beamer buss deduction fitch fonts gentzen guide latex logic logician memoir natural prawitz proof proofs user
  in VVIMP > LaTex with vvimp latex logicians by 2 users

logicians from all users