.png){kind=logo}
Mathematical foundations
Results 1 - 20 of 1149
Mathematical foundations
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
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
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
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
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. 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. 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. 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
Paperback. The axiomatic theory of sets is a vibrant part of pure mathematics, and is also viewed as a foundation of mathematics. This book addresses both pure math and the fundamentals. The new edition is reworked and expanded for improved presentation. Series: Undergraduate Texts in Mathematics. Num Pages: 290 pages, biography. BIC Classification: PBCH. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 160 x 22. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd
- Number of pages
- 292
- Condition
- New
- SKU
- V9780387287232
- ISBN
- 9780387287232
Paperback
Condition: New
€ 86.54
€ 86.54
Paperback. Editor(s): Moschovakis, Yiannis N. Series: Mathematical Sciences Research Institute Publications. Num Pages: 608 pages, biography. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 608
- Condition
- New
- SKU
- V9781461276852
- ISBN
- 9781461276852
Paperback
Condition: New
€ 130.88
€ 130.88
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 390 pages, biography. BIC Classification: GPFC; PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642072796
- ISBN
- 9783642072796
Paperback
Condition: New
€ 195.30
€ 195.30
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 390 pages, biography. BIC Classification: GPFC; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783540401759
- ISBN
- 9783540401759
Hardback
Condition: New
€ 202.24
€ 202.24
Paperback. Editor(s): Zhao, Xishun. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540797180
- ISBN
- 9783540797180
Paperback
Condition: New
€ 67.25
€ 67.25
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 195 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783540003373
- ISBN
- 9783540003373
Hardback
Condition: New
€ 70.97
€ 70.97
paperback. Series: Applied Mathematical Sciences. Num Pages: 255 pages, biography. BIC Classification: PBCN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 255
- Condition
- New
- SKU
- V9781461270089
- ISBN
- 9781461270089
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie / Personelle und Statistische Wahrscheinlichkeit. Num Pages: 560 pages, black & white illustrations, bibliography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 30. Weight in Grams: 776.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1973
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642654541
- ISBN
- 9783642654541
Paperback
Condition: New
€ 97.18
€ 97.18
Paperback. Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised. Series: Universitext. Num Pages: 320 pages, 25 black & white illustrations, 7 black & white tables, biography. BIC Classification: PBC; PDE. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 20. Weight in Grams: 578.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 3rd ed. 2010
- Condition
- New
- SKU
- V9781441912206
- ISBN
- 9781441912206
Paperback
Condition: New
€ 101.03
€ 101.03
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBKJ; PBW; PHU. Category: (G) General (US: Trade). Dimension: 244 x 170 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Spektrum United States
- Edition
- 4
- Condition
- New
- SKU
- V9783658153571
- ISBN
- 9783658153571
Paperback
Condition: New
€ 40.96
€ 40.96
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.22
€ 259.22
Normalformen. Identitat und Kennzeichnung. Theorien und definitorische...
Wolfgang . Ed(S): Stegmuller
Paperback. Editor(s): Stegmuller, Wolfgang. Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. BIC Classification: PBC. Dimension: 235 x 155. Weight in Grams: 241.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540122128
- ISBN
- 9783540122128
Paperback
Condition: New
€ 37.87
€ 37.87