IIncompleteness and ComputabilityIncompleteness and Computabilityde Richard ZachEdiciones (1)Incompleteness and Computability (2019)Independently Published · inglés · ISBN 9781077323391Más obras de Richard ZachSSets, Logic, ComputationSets, Logic, ComputationIntroduction to Proof TheoryBBoxes and DiamondsBoxes and Diamonds