.png){kind=logo}
Mathematical foundations
Results 1141 - 1148 of 1148
Mathematical foundations
Paperback. This fresh edition of the straightforward introduction to modern mathematical logic retains its appeal to the intuition of working mathematicians, yet along with the material from the first edition, it has fresh chapters, one of which deals with Model Theory. Translator(s): Koblitz, Neal. Series: Graduate Texts in Mathematics. Num Pages: 402 pages, 12 black & white illustrations, 4 black & white tables, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Condition
- New
- SKU
- V9781461424796
- ISBN
- 9781461424796
Paperback
Condition: New
€ 84.63
€ 84.63
Hardcover. This fresh edition of the straightforward introduction to modern mathematical logic retains its appeal to the intuition of working mathematicians, yet along with the material from the first edition, it has fresh chapters, one of which deals with Model Theory. Translator(s): Koblitz, Neal. Series: Graduate Texts in Mathematics. Num Pages: 404 pages, 12 black & white illustrations, 4 black & white tables, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 2nd ed. 2010
- Condition
- New
- SKU
- V9781441906144
- ISBN
- 9781441906144
Hardback
Condition: New
€ 91.34
€ 91.34
Paperback. Editor(s): Bahturin, Yuri. Series: Mathematics and its Applications. Num Pages: 241 pages, biography. BIC Classification: PBC; PBF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 414.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 241
- Condition
- New
- SKU
- V9781461379546
- ISBN
- 9781461379546
Paperback
Condition: New
€ 66.70
€ 66.70
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. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 472 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 26. Weight in Grams: 748.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642058806
- ISBN
- 9783642058806
Paperback
Condition: New
€ 107.64
€ 107.64
Paperback. Series: Theory and Decision Library: D. Num Pages: 231 pages, biography. BIC Classification: KJT; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 231
- Condition
- New
- SKU
- V9789401055642
- ISBN
- 9789401055642
Paperback
Condition: New
€ 503.31
€ 503.31
Difference Methods for Initial-Boundary-Value Problems and Flow Around...
Zhu, You-Lan; Zhong, Xi-Chang; Chen, Bing-Mu;...
Paperback. Num Pages: 602 pages, 40 black & white tables, biography. BIC Classification: PBCN; PBK; PBKJ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 31. Weight in Grams: 1039.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 602
- Condition
- New
- SKU
- V9783662067093
- ISBN
- 9783662067093
Paperback
Condition: New
€ 70.81
€ 70.81
Hardcover. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic.. ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 272 pages, index. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780471060260
- ISBN
- 9780471060260
Hardback
Condition: New
€ 212.06
€ 212.06