.png){kind=logo}
Mathematical foundations
Results 941 - 960 of 1148
Mathematical foundations
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
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
€ 183.08
€ 183.08
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
€ 128.12
€ 128.12
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
€ 127.76
€ 127.76
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
€ 195.08
€ 195.08
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
€ 127.76
€ 127.76
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
€ 161.81
€ 161.81
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
€ 227.50
€ 227.50
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
€ 196.36
€ 196.36
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
€ 250.95
€ 250.95
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
€ 377.77
€ 377.77
Paperback. Series: Synthese Library. Num Pages: 216 pages, biography. BIC Classification: HP; PBCD; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1981
- Number of pages
- 216
- Condition
- New
- SKU
- V9789400984035
- ISBN
- 9789400984035
Paperback
Condition: New
€ 127.18
€ 127.18
Paperback. Invited Papers from the Fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, USA, May 13-16, 1975, with a Bibliography of "manyvalued Logic" by R.G. Wolf Editor(s): Dunn, M. (Dept. of Philosophy, Indiana University, Bloomington, USA); Epstein, G. Series: Episteme. Num Pages: 340 pages, biography. BIC Classification: HPCF; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1977
- Number of pages
- 340
- Condition
- New
- SKU
- V9789401011631
- ISBN
- 9789401011631
Paperback
Condition: New
€ 194.62
€ 194.62
Paperback. Translator(s): Wojtasiewicz, Olgierd; Zawadowski, Waclaw. Series: Synthese Library. Num Pages: 612 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 31. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1974
- Number of pages
- 612
- Condition
- New
- SKU
- V9789401021142
- ISBN
- 9789401021142
Paperback
Condition: New
€ 141.71
€ 141.71
Paperback. Num Pages: 162 pages, biography. BIC Classification: PBCD; WM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 9. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1972
- Number of pages
- 162
- Condition
- New
- SKU
- V9789401027205
- ISBN
- 9789401027205
Paperback
Condition: New
€ 66.00
€ 66.00
Paperback. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 352
- Condition
- New
- SKU
- V9789401037525
- ISBN
- 9789401037525
Paperback
Condition: New
€ 161.08
€ 161.08
Paperback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantics Structures in Computation. Num Pages: 273 pages, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 273
- Condition
- New
- SKU
- V9789401038591
- ISBN
- 9789401038591
Paperback
Condition: New
€ 127.90
€ 127.90
Paperback. Num Pages: 514 pages, biography. BIC Classification: KJT; PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 4th ed. 2001. Softcover reprint of the original 4
- Number of pages
- 514
- Condition
- New
- SKU
- V9789401038706
- ISBN
- 9789401038706
Paperback
Condition: New
€ 373.41
€ 373.41
Advances in Computational Intelligence and Learning
. Ed(S): Zimmermann, H.-J.; Tselentis, Georgi...
Paperback. Editor(s): Zimmermann, H.-J.; Tselentis, Georgios; Someren, Maarten Van; Dounias, Georgios. Series: International Series in Intelligent Technologies. Num Pages: 515 pages, biography. BIC Classification: MB; PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 515
- Condition
- New
- SKU
- V9789401038720
- ISBN
- 9789401038720
Paperback
Condition: New
€ 196.45
€ 196.45
Paperback. Editor(s): Anderson, C.Anthony; Zeleny, Michael. Series: Synthese Library. Num Pages: 627 pages, biography. BIC Classification: CFA; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 34. Weight in Grams: 1036.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 627
- Condition
- New
- SKU
- V9789401038911
- ISBN
- 9789401038911
Paperback
Condition: New
€ 198.02
€ 198.02