Catégorie de recherche
Problème de recherche ?

Practical Foundations of Mathematics

Auteur: Taylor, Paul (Queen Mary University of London)
Editeur: Cambridge University Press
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.
Sur commande
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 / EAN 9780521631075
Auteur Taylor, Paul (Queen Mary University of London)
Editeur Cambridge University Press