Richard ZachBooksForall X : Calgaryforall x : Calgary RemixIncompleteness and ComputabilitySets, Logic, ComputationIncompleteness and ComputabilityIntroduction to Proof TheoryIntroduction a la Theorie de la DemonstrationBoxes and DiamondsAuthor data: Open Library