IIncompleteness and ComputabilityIncompleteness and Computabilityde Richard ZachEdiciones (1)Incompleteness and Computability (2017)CreateSpace Independent Publishing Platform · ISBN 9781548138080Más obras de Richard ZachSSets, Logic, ComputationSets, Logic, ComputationIntroduction to Proof TheoryBBoxes and DiamondsBoxes and Diamonds