Calculation by Man and Machine: Conceptual Analysis (2001)

by W Sieg
Venue:Reflections on the Foundations of Mathematics (Essays in Honor of Solomon Feferman), Volume 15 of Lectures Notes in Logic, Association of Symbolic Logic