BBoxes and DiamondsBoxes and Diamondsde Richard ZachEdiciones (1)Boxes and Diamonds (2019)Independently published · ISBN 9781077321380Más obras de Richard ZachSSets, Logic, ComputationSets, Logic, ComputationIntroduction to Proof TheoryFForall X : CalgaryForall X : Calgary