MainComputersSoftwareTypesetting › LaTeX for Logicians

LaTeX for Logicians

Edit Page
Report
Scan day: 02 March 2014 UTC
16
Virus safety - good
Description: A guide to LaTeX resources useful to logicians writing papers, presentations and books. In particular there are user guides for bussproofs.sty and beamer.cls.
LaTeX for Logicians | Logic Matters Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery These pages give 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.
Size: 361 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:LaTeX for Logicians | Logic Matters
Keywords:
Description:
IP-address:141.101.116.188

WHOIS Info

NS
Name Server: NS1.BLUEHOST.COM
Name Server: NS2.BLUEHOST.COM
WHOIS
Status: clientDeleteProhibited
Status: clientTransferProhibited
Status: clientUpdateProhibited
Date
Creation Date: 25-aug-2008
Expiration Date: 25-aug-2014