.png){kind=logo}
Mathematical foundations
Results 1061 - 1064 of 1064
Mathematical foundations
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