CTAN Comprehensive TeX Archive Network

Richard Zach

The contributor Richard Zach appears to be present as the CTAN community member rzach.

Extra commands for bussproofs.sty.
macros for Fitch-style natural deduction.
Index entries by key lookup.
Fitch-style natural deduction proofs.
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals).
thesis class for University of Calgary Faculty of Graduate Studies.
Guest Book Sitemap Contact Contact Author