This book provides a rigorous introduction to the theory of induction on abstract mathematical structures. It covers recursive functions, well-founded relations, and the foundations of computer science logic, offering a deep dive for logicians and mathematicians.
Additional Product Info :
ISBN 10 :
0486466787
ISBN 13 :
9780486466781
Publisher :
Dover Publications
Language :
English
Dimensions :
5.46 x 0.47 x 8.51
Item Weight :
0.26 kg