1. Information and Computation Traub, Joseph F.; Wozniakowski, Henryk 1983 Reports Computer scienceProblem solving--MethodologyMathematicsMathematics--Philosophy