Helmut Schwichtenberg, Stanley S. Wainer. Proofs and Computations. Perspectives in logic, Association for Symbolic Logic, 2012. [doi]
@book{0031640,
title = {Proofs and Computations},
author = {Helmut Schwichtenberg and Stanley S. Wainer},
year = {2012},
url = {http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/proofs-and-computations?format=HB},
researchr = {https://researchr.org/publication/0031640},
cites = {0},
citedby = {0},
series = {Perspectives in logic},
publisher = {Association for Symbolic Logic},
isbn = {978-0-521-51769-0},
}