3 ms·Modernized Logic of Computable Functions: The Logic of Goals and Tactics2 points by pizza 10y ago