Richard Zach · 8 obras en el catálogoObrasSSets, Logic, ComputationSets, Logic, ComputationIntroduction to Proof TheoryBBoxes and DiamondsBoxes and DiamondsFForall X : CalgaryForall X : CalgaryIIncompleteness and ComputabilityIncompleteness and ComputabilityFforall x : Calgary Remixforall x : Calgary RemixIIntroduction a la Theorie de la DemonstrationIntroduction a la Theorie de la DemonstrationIIncompleteness and ComputabilityIncompleteness and Computability
