Practical Foundations of Mathematics

Paul (Queen Mary University of London) Taylor

Cambridge University Press, 1999

250,95 €On orderDelivery: 2-3 weeks

This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.

ISBN-13
9780521631075
ISBN-10
0521631076
Publisher
Cambridge University Press
Year
1999
Publication date
1999-05-13
Pages
588
Dimensions
236x157x35
Weight
880