First Page | Document Content | |
---|---|---|
Date: 2007-03-14 10:17:19Formal systems Logical truth Proof theory Theorem Formal proof TeX Mathematical proof Syntax Mathematical logic Logic Logical syntax Formal languages | Writing and checking complete proofs in TEX Bob Neveln Widener University Bob Alps Towers PerrinAdd to Reading ListSource URL: tug.orgDownload Document from Source WebsiteFile Size: 98,85 KBShare Document on Facebook |