.png){kind=logo}
Mathematical foundations
Results 221 - 240 of 1148
Mathematical foundations
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. 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. 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
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
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. 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. 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 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. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 194.77
€ 194.77
Paperback. A Geometry of Approximation addresses Rough Set Theory. It focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective and this is the first book to place Rough Set Theory in a broad historical and applied setting. Series: Trends in Logic. Num Pages: 704 pages, 39 black & white tables, biography. BIC Classification: HPK; HPL; PBC; PBF; UNF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1187.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 704
- Condition
- New
- SKU
- V9789048179350
- ISBN
- 9789048179350
Paperback
Condition: New
€ 375.93
€ 375.93
Paperback. Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 318 pages, 20 black & white tables, biography. BIC Classification: HPC; HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 318
- Condition
- New
- SKU
- V9789048179244
- ISBN
- 9789048179244
Paperback
Condition: New
€ 194.38
€ 194.38
Induction, Algorithmic Learning Theory, and Philosophy
. Ed(S): Friend, Michele; Goethe, Norma B.; H...
Paperback. Editor(s): Friend, Michele; Goethe, Norma B.; Harizanov, Valentina S. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 304 pages, biography. BIC Classification: HPK; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 304
- Condition
- New
- SKU
- V9789048175444
- ISBN
- 9789048175444
Paperback
Condition: New
€ 194.22
€ 194.22
Paperback. Series: Synthese Library. Num Pages: 206 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 206
- Condition
- New
- SKU
- V9789048172818
- ISBN
- 9789048172818
Paperback
Condition: New
€ 194.14
€ 194.14
Paperback. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 244 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 2nd ed. Softcover of orig. ed. 2006
- Number of pages
- 244
- Condition
- New
- SKU
- V9789048170340
- ISBN
- 9789048170340
Paperback
Condition: New
€ 194.14
€ 194.14
Paperback. Editor(s): Carson, Emily; Huber, Renate. Series: The Western Ontario Series in Philosophy of Science. Num Pages: 324 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 23. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 324
- Condition
- New
- SKU
- V9789048170197
- ISBN
- 9789048170197
Paperback
Condition: New
€ 194.74
€ 194.74
Paperback. Series: Theory and Applications of Transport in Porous Media. Num Pages: 282 pages, biography. BIC Classification: PBC; RBK; TNCC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 282
- Condition
- New
- SKU
- V9789048168064
- ISBN
- 9789048168064
Paperback
Condition: New
€ 127.93
€ 127.93
Paperback. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2004
- Number of pages
- 341
- Condition
- New
- SKU
- V9789048166961
- ISBN
- 9789048166961
Paperback
Condition: New
€ 194.77
€ 194.77
Paperback. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: PBC; PBU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 320
- Condition
- New
- SKU
- V9789048164400
- ISBN
- 9789048164400
Paperback
Condition: New
€ 128.29
€ 128.29
Paperback. Editor(s): Hendricks, Vincent F.; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland). Series: Trends in Logic. Num Pages: 384 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 384
- Condition
- New
- SKU
- V9789048164141
- ISBN
- 9789048164141
Paperback
Condition: New
€ 195.13
€ 195.13
Paperback. Editor(s): Kilov, Haim; Baclavski, Ken. Num Pages: 338 pages, biography. BIC Classification: KJMV6; KJQ; PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 338
- Condition
- New
- SKU
- V9789048163670
- ISBN
- 9789048163670
Paperback
Condition: New
€ 194.68
€ 194.68