Practical Foundations of Mathematics

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.