This volume explores the theory of real-valued functions that can be computed by a machine. It covers recursive sequences, continuity, and the foundations of constructive mathematics, providing logicians and computer scientists with a rigorous bridge between math and code.
Additional Product Info :
ISBN 10 :
0486477517
ISBN 13 :
9780486477510
Publisher :
Dover Publications
Language :
English
Dimensions :
5.3 x 0.4 x 8.4
Item Weight :
0.17 kg