Practical Foundations of Mathematics

ISBN:0521631076
Pages:584
Date:1999-05-13
Publisher:Cambridge University Press
Rating:4.0

Read Practical Foundations of Mathematics Online
1. Online Book Mirror [www.dcs.qmul.ac.uk]

    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 toorecommended 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.