Richard Zach

Open textbook on modal logic

rzach

UCalgary version of forallx, an introduction to formal logic

rzach

Git for Philosophers

rzach

Textbook on metalogic based on the Open Logic Project

rzach

Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes links to philpapers and Google Scolar citation counts.

rzach

Textbook on Gödel's incompleteness theorems and computability theory

rzach

A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)

rzach