Book Description
This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing./p>
Reviews From AMAZON.COM
needs attention but worth it
this is a a good work, the section about Structural Recursion was very insightful too
recommended for anybody want to study foundations, logic or even for someone working in Artificial intelligence
This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.

ISBN:0521631076