What's new
Oct 4: More of LaTeX for Logicians ported.
Sept 16: Very partial port old LaTeX for Logicians site to this revised format, checking all links as we go.
All suggestions for additional links will be very gratefully received at peter_smith AT me.com.
About these LaTeX pages
These pages are a brief guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include logical matter such as natural deduction proofs.
LaTeX for Logicians pages are really intended for those who already have some familiarity with LaTeX. But if you have reached this page and are curious, or want a few pointers to sources of fairly introductory info, look here. There are also other general LaTeX links of interest to the more expert. |
|
Here you'll find the main lists of links to a variety of resources which are particularly useful for logicians (tables of symbols, packages for laying out proofs, diagrams for category theory, etc. etc.) |
|
This page gives links to resources which are especially useful for classroom use (in particular, packages for producing slides for data projectors, for constructing problem sheets, etc.) |
© Peter Smith, 2008
