Conte aos seus amigos sobre este item:
Practical Foundations of Mathematics - Cambridge Studies in Advanced Mathematics Taylor, Paul (Queen Mary University of London)
Practical Foundations of Mathematics - Cambridge Studies in Advanced Mathematics
Taylor, Paul (Queen Mary University of London)
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.
588 pages, line drawings
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 13 de maio de 1999 |
| ISBN13 | 9780521631075 |
| Editoras | Cambridge University Press |
| Páginas | 588 |
| Dimensões | 157 × 236 × 35 mm · 880 g |
| Idioma | Inglês |