.png){kind=logo}
Mathematical foundations
Results 1141 - 1148 of 1148
Mathematical foundations
Paperback. Inventor of logarithms, John Napier made one of the greatest advances in the history of mathematics. The 16th century Scot was also a remarkable astronomer. This new edition has been redesigned and has a new cover. Num Pages: 80 pages, 30 colour/black+white. BIC Classification: BGT; PBC; PBX. Category: (G) General (US: Trade). Dimension: 235 x 159 x 7. Weight in Grams: 220.
- Publisher
- NMSE - Publishing Ltd United Kingdom
- Number of pages
- 80
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Revised edition
- Condition
- New
- SKU
- V9781905267668
- ISBN
- 9781905267668
Paperback
Condition: New
€ 8.32
€ 8.32
Paperback. The book systematically develops nonlinear potential theory and the Sobolev space theory covers results concerning approximation, extension, and interpolation, Sobolev and Poincare inequalities, Maz'ya type embedding theorems, and isoperimetric inequalities. Series: Lecture Notes in Mathematics. Num Pages: 180 pages, biography. BIC Classification: PBCH; PBKF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 157 x 235 x 14. Weight in Grams: 318.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540675884
- ISBN
- 9783540675884
Paperback
Condition: New
€ 59.52
€ 59.52
Paperback. Designed for undergraduate students of set theory, this book presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. It aims to give students a grounding to the results of set theory as well as to tackle significant problems that arise from the theory. Num Pages: 296 pages, 30 line illustrations. BIC Classification: PBCH. Category: (UU) Undergraduate. Dimension: 253 x 210 x 18. Weight in Grams: 666.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 296
- Format
- Paperback
- Publication date
- 1996
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780412606106
- ISBN
- 9780412606106
Paperback
Condition: New
€ 105.07
€ 105.07
Hardcover. This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual. Series: Undergraduate Texts in Mathematics. Num Pages: 574 pages, 10 black & white illustrations, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 1122.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780387402932
- ISBN
- 9780387402932
Hardback
Condition: New
€ 76.87
€ 76.87
Hardback. A text for mathematics courses that covers the basics such as relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It includes material on normal forms and Goodstein sequences. It provides important ideas including filters, ultrafilters, closed unbounded and stationary sets, and partitions. Series: Chapman & Hall/CRC Pure and Applied Mathematics. Num Pages: 310 pages, illustrations. BIC Classification: PBCH. Category: (UU) Undergraduate. Dimension: 238 x 157 x 22. Weight in Grams: 572.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 310
- Format
- Hardback
- Publication date
- 1999
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780824779153
- ISBN
- 9780824779153
Hardback
Condition: New
€ 126.74
€ 126.74
Paperback. Schaum's Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. Series: Schaum's Outline Series. Num Pages: 224 pages, d. BIC Classification: PBCD; PDE; TBJ. Category: (U) Tertiary Education (US: College). Dimension: 272 x 204 x 12. Weight in Grams: 530.
- Publisher
- McGraw-Hill Education - Europe United States
- Number of pages
- 224
- Format
- Paperback
- Publication date
- 1970
- Edition
- First Printing
- Condition
- New
- SKU
- V9780070414600
- ISBN
- 9780070414600
Paperback
Condition: New
€ 34.99€ 30.07
€ 34.99
€ 30.07
Paperback. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. Series: Oxford Texts in Logic S. Num Pages: 260 pages, halftones and figures. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 170 x 12. Weight in Grams: 416.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 264
- Format
- Paperback
- Publication date
- 2007
- Condition
- New
- SKU
- V9780199215621
- ISBN
- 9780199215621
Paperback
Condition: New
€ 96.18
€ 96.18
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 148.63
€ 148.63