Mathematical foundations
Results 941 - 960 of 1200
Mathematical foundations
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
€ 127.81
€ 127.81
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
€ 123.62
€ 123.62
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
€ 123.38
€ 123.38
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
€ 123.19
€ 123.19
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
€ 123.28
€ 123.28
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
€ 175.51
€ 175.51
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
€ 144.60
€ 144.60
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
€ 186.26
€ 186.26
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
€ 122.39
€ 122.39
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
€ 188.18
€ 188.18
Paperback. 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; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 224
- Condition
- New
- SKU
- V9789400734425
- ISBN
- 9789400734425
Paperback
Condition: New
€ 175.28
€ 175.28
Paperback. 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. Series: The Western Ontario Series in Philosophy of Science. Num Pages: 316 pages, biography. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 316
- Condition
- New
- SKU
- V9789400735613
- ISBN
- 9789400735613
Paperback
Condition: New
€ 122.69
€ 122.69
paperback. 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; PBC; PBUD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2011th Edition
- Number of pages
- 232
- Condition
- New
- SKU
- V9789400735774
- ISBN
- 9789400735774
Paperback
Condition: New
€ 122.39
€ 122.39
Paperback. 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: HPDF; HPK; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 372
- Condition
- New
- SKU
- V9789400735811
- ISBN
- 9789400735811
Paperback
Condition: New
€ 186.81
€ 186.81
Paperback / so. Series: Trends in Logic. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 372.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9789400737341
- ISBN
- 9789400737341
Paperback
Condition: New
€ 122.39
€ 122.39
Hardback. Advances in Natural Deduction Editor(s): Pereira, Luiz Carlos Bresser; Haeusler, Edward Hermann; De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 22. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 295
- Condition
- New
- SKU
- V9789400775473
- ISBN
- 9789400775473
Hardback
Condition: New
€ 155.41
€ 155.41
Hardcover. An Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Editor(s): Bowman, Gregory R.; Pande, Vijay S.; Noe, Frank. Series: Advances in Experimental Medicine and Biology. Num Pages: 151 pages, 17 black & white illustrations, 48 colour illustrations, 11 black & white tables, biograp. BIC Classification: PBC; PHU; PNR. Category: (P) Professional & Vocational. Dimension: 260 x 182 x 17. Weight in Grams: 500.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789400776050
- ISBN
- 9789400776050
Hardback
Condition: New
€ 218.30
€ 218.30
Hardback. David Makinson on Classical Methods for Non-Classical Problems Editor(s): Hansson, Sven Ove. Series: Outstanding Contributions to Logic. Num Pages: 433 pages, black & white illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 830.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 433
- Condition
- New
- SKU
- V9789400777583
- ISBN
- 9789400777583
Hardback
Condition: New
€ 188.20
€ 188.20
Paperback. Proceedings of the NATO Advanced Study Institute on Boundary Elements in CAD, Southampton, England, September 19-30, 1983 Editor(s): Brebbia, C. A. Series: NATO Science Series E:. Num Pages: 452 pages, biography. BIC Classification: PBCN; PBKJ; THR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 452
- Condition
- New
- SKU
- V9789400961944
- ISBN
- 9789400961944
Paperback
Condition: New
€ 240.27
€ 240.27
Paperback. Proceedings of the NATO Advanced Study Institute, Banff, Canada, August 28-September 12, 1981 Editor(s): Rival, Ivan. Series: NATO Science Series C. Num Pages: 988 pages, biography. BIC Classification: PBCD; PBD; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 49. Weight in Grams: 1484.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1982
- Number of pages
- 988
- Condition
- New
- SKU
- V9789400978003
- ISBN
- 9789400978003
Paperback
Condition: New
€ 361.63
€ 361.63