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
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