3 ms·My copy of Barendregt is well thumbed. But that Zuse and Annotated Turing sounds interesting. Thanksby chewxy 8y agoMy copy of Barendregt is well thumbed. But that Zuse and Annotated Turing sounds interesting. Thanks