.png){kind=logo}
Mathematical foundations
Results 1 - 20 of 1148
Mathematical foundations
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
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
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
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
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
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
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. 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. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 1997
- Condition
- New
- SKU
- V9783642082283
- ISBN
- 9783642082283
Paperback
Condition: New
€ 186.57
€ 186.57
Hardback. A New Foundation for Representation in Cognitive and Brain Science Series: Springer Series in Cognitive and Neural Systems. Num Pages: 193 pages, 33 black & white illustrations, 40 colour illustrations, 4 black & white tables, biograph. BIC Classification: HP; MJN; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 503.
- Publisher
- Springer Netherlands
- Number of pages
- 193
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789400777378
- ISBN
- 9789400777378
Hardback
Condition: New
€ 194.34
€ 194.34
Hardback. Num Pages: 296 pages, 64 line illus. 48 tables. BIC Classification: 3JD; PBC; PBX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 239 x 175 x 23. Weight in Grams: 574.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780691155708
- ISBN
- 9780691155708
Hardback
Condition: New
€ 46.99€ 33.81
€ 46.99
€ 33.81
Hardback. Editor(s): Valle, Manel del; Guerrero, Roberto Munoz; Gutierrez Salgado, Juan Manuel. Num Pages: Illustrations. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 261 x 185 x 27. Weight in Grams: 916.
- Publisher
- Nova Science Publishers Inc United States
- Format
- Hardback
- Publication date
- 2012
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781621002529
- ISBN
- 9781621002529
Hardback
Condition: New
€ 242.56€ 165.61
€ 242.56
€ 165.61
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 60.48
€ 60.48
Hardcover. Suited for use as a textbook or for self-study, this work provides an understanding of the theorems of set theory and of their basic importance in the study of mathematics. Series: Undergraduate Texts in Mathematics. Num Pages: 111 pages, 1 black & white illustrations, biography. BIC Classification: PBCH; PBKF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 162 x 12. Weight in Grams: 318.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 111
- Format
- Hardback
- Publication date
- 1974
- Edition
- 1974th Edition
- Condition
- New
- SKU
- V9780387900926
- ISBN
- 9780387900926
Hardback
Condition: New
€ 115.99
€ 115.99
Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 358
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521898850
- ISBN
- 9780521898850
Hardback
Condition: New
€ 85.97
€ 85.97
Paperback. Series: Applied and Numerical Harmonic Analysis. Num Pages: 541 pages, biography. BIC Classification: PBC; PBKJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1998
- Condition
- New
- SKU
- V9781461272663
- ISBN
- 9781461272663
Paperback
Condition: New
€ 102.76
€ 102.76
Paperback. This book is an exploration of current trends in logical theories of information flow across various fields. Series: Studies in Logic, Language & Information. Num Pages: 341 pages, bibliography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 21. Weight in Grams: 475.
- Publisher
- The Center for the Study of Language and Information Publications
- Format
- Paperback
- Publication date
- 1996
- Edition
- First Edition, First Printing
- Condition
- New
- SKU
- V9781575860589
- ISBN
- 9781575860589
Paperback
Condition: New
€ 31.99€ 25.14
€ 31.99
€ 25.14
Paperback. Suitable for those who want to secure their ideal job, this title explains how numerical and logical tests work, gives helpful pointers to help you prepare for the big day, and provides professionally constructed sample questions so that you can practise at home. Num Pages: 208 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 196 x 129 x 16. Weight in Grams: 200.
- Publisher
- Cornerstone United Kingdom
- Number of pages
- 208
- Format
- Paperback
- Publication date
- 2010
- Condition
- New
- SKU
- V9781847945464
- ISBN
- 9781847945464
Paperback
Condition: New
€ 13.99€ 11.10
€ 13.99
€ 11.10
Paperback. A concise, practical guide in statistical methods for experimental data handling; ideal for course use and a handy reference for researchers. Num Pages: 238 pages, 47 b/w illus. 12 tables 49 exercises. BIC Classification: PBC; PBT; PDE; TBJ. Category: (U) Tertiary Education (US: College). Dimension: 229 x 162 x 12. Weight in Grams: 334. 240 pages, 47 b/w illus. 12 tables 49 exercises. A concise, practical 2011 guide in statistical methods for experimental data handling; ideal for course use and a handy reference for researchers. Cateogry: (U) Tertiary Education (US: College). BIC Classification: PBC; PBT; PDE; TBJ. Dimension: 229 x 162 x 12. Weight: 386.
- Publisher
- Cambridge University Press
- Number of pages
- 240
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521134927
- ISBN
- 9780521134927
Paperback
Condition: New
€ 37.55
€ 37.55
Hardback. Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science. Num Pages: 1004 pages, 338 b/w line illustrations, and 30 b/w halftones. BIC Classification: PBCD; PH; UGK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 249 x 195 x 55. Weight in Grams: 2316.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 1004
- Format
- Hardback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780199233212
- ISBN
- 9780199233212
Hardback
Condition: New
€ 112.86
€ 112.86