Mathematical foundations
Results 921 - 940 of 1148
Mathematical foundations
Paperback. This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded. Editor(s): Majer, Ondrej; Pietarinen, Ahti-Veikko (University of Helsinki); Tulenheimo, Tero. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 402 pages, biography. BIC Classification: CFA; CFG; HPL; PBC; PBW; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 402
- Condition
- New
- SKU
- V9789048181155
- ISBN
- 9789048181155
Paperback
Condition: New
€ 195.22
€ 195.22
Paperback. From a Geometrical Point of View explores historical and philosophical aspects of category theory and categorical logic, providing insight into their role and nature in contemporary mathematics. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 320 pages, biography. BIC Classification: PBC; PBPD; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 320
- Condition
- New
- SKU
- V9789048181179
- ISBN
- 9789048181179
Paperback
Condition: New
€ 249.66
€ 249.66
Paperback. This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive work by researchers in that area. Series: Applied Logic Series. Num Pages: 276 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; PBF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 276
- Condition
- New
- SKU
- V9789048181216
- ISBN
- 9789048181216
Paperback
Condition: New
€ 149.91
€ 149.91
Paperback. Editor(s): Bochenski, J. M. Translator(s): Bird, Otto. Series: Synthese Library. Num Pages: 100 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 5. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1960
- Number of pages
- 100
- Condition
- New
- SKU
- V9789048183296
- ISBN
- 9789048183296
Paperback
Condition: New
€ 125.98
€ 125.98
paperback. Editor(s): Peters, S.; Saarinen, Esa. Series: Studies in Linguistics and Philosophy. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1982
- Number of pages
- 262
- Condition
- New
- SKU
- V9789048183661
- ISBN
- 9789048183661
Paperback
Condition: New
€ 130.02
€ 130.02
Hardback. Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics. Editor(s): Indrzejczak, Andrzej. Series: Trends in Logic. Num Pages: 506 pages, 20 black & white tables, biography. BIC Classification: HPL; PBC; PBKS; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 506
- Condition
- New
- SKU
- V9789048187843
- ISBN
- 9789048187843
Hardback
Condition: New
€ 302.61
€ 302.61
Hardback. This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones. Series: Trends in Logic. Num Pages: 224 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 181 x 247 x 21. Weight in Grams: 672.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 224
- Condition
- New
- SKU
- V9789048196692
- ISBN
- 9789048196692
Hardback
Condition: New
€ 187.49
€ 187.49
Hardback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 339 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400700017
- ISBN
- 9789400700017
Hardback
Condition: New
€ 132.43
€ 132.43
Hardback. Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic. Series: Trends in Logic. Num Pages: 523 pages, 8 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 30. Weight in Grams: 929.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 523
- Condition
- New
- SKU
- V9789400700048
- ISBN
- 9789400700048
Hardback
Condition: New
€ 204.66
€ 204.66
Hardcover. This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. Editor(s): Benthem, Johan van; Gupta, Amitabha; Parikh, Rohit. Series: Synthese Library. Num Pages: 372 pages, biography. BIC Classification: HPD; HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 160 x 246 x 27. Weight in Grams: 734.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9789400700796
- ISBN
- 9789400700796
Hardback
Condition: New
€ 196.03
€ 196.03
Hardback. This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics. Series: Trends in Logic. Num Pages: 290 pages, biography. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 159 x 24. Weight in Grams: 568.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 290
- Condition
- New
- SKU
- V9789400703193
- ISBN
- 9789400703193
Hardback
Condition: New
€ 133.42
€ 133.42
Hardback. Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated. Editor(s): Sommaruga, Giovanni. Num Pages: 316 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 239 x 163 x 22. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 316
- Condition
- New
- SKU
- V9789400704305
- ISBN
- 9789400704305
Hardback
Condition: New
€ 129.04
€ 129.04
Hardcover. This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. It reflects new and ambitious developments in human reasoning. Editor(s): Benthem, Johan van; Gupta, Amitabha; Pacuit, Eric. Series: Synthese Library. Num Pages: 232 pages, biography. BIC Classification: HPL; KCH; PBC; PBW. Category: (P) Professional & Vocational. Dimension: 244 x 161 x 20. Weight in Grams: 510.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9789400707139
- ISBN
- 9789400707139
Hardback
Condition: New
€ 128.24
€ 128.24
Hardback. This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms. Series: Trends in Logic. Num Pages: 258 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 258
- Condition
- New
- SKU
- V9789400708396
- ISBN
- 9789400708396
Hardback
Condition: New
€ 128.63
€ 128.63
Hardback. Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Series: Trends in Logic. Num Pages: 250 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 545.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400709065
- ISBN
- 9789400709065
Hardback
Condition: New
€ 128.44
€ 128.44
Hardback. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400717350
- ISBN
- 9789400717350
Hardback
Condition: New
€ 183.32
€ 183.32
Paperback. This is a fully revised and updated second edition of the introduction to structured and unstructured grid methods in scientific computing. It formulates basic local and integral grid quality measures and reviews fresh approaches to mesh generation. Series: Scientific Computation. Num Pages: 408 pages, 48 black & white illustrations, biography. BIC Classification: PBCN; PHU; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Number of pages
- 408
- Condition
- New
- SKU
- V9789400730786
- ISBN
- 9789400730786
Paperback
Condition: New
€ 150.98
€ 150.98
Paperback. This book offers revised and extended versions of invited papers from the ECCOMAS Thematic Conference "Multibody Dynamics 2009," spanning the most active areas and the recent efforts of many prominent research groups in the field of multibody dynamics. Editor(s): Arczewski, Krzysztof; Blajer, Wojciech; Fraczek, Janusz; Wojtyra, Marek. Series: Computational Methods in Applied Sciences. Num Pages: 335 pages, biography. BIC Classification: PBCN; TGB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 335
- Condition
- New
- SKU
- V9789400734197
- ISBN
- 9789400734197
Paperback
Condition: New
€ 194.50
€ 194.50
Paperback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400734357
- ISBN
- 9789400734357
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic. Series: Trends in Logic. Num Pages: 523 pages, 8 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 523
- Condition
- New
- SKU
- V9789400734364
- ISBN
- 9789400734364
Paperback
Condition: New
€ 196.52
€ 196.52