Mathematical foundations
Results 901 - 920 of 1202
Mathematical foundations
Problems in Set Theory, Mathematical Logic and the Theory of Algorithm...
Lavrov, Igor; Maksimova, Larisa. Ed(S): Corsi...
Paperback. Editor(s): Corsi, Giovanna. Series: University Series in Mathematics. Num Pages: 282 pages, biography. BIC Classification: HPL; PBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 282
- Condition
- New
- SKU
- V9781461349570
- ISBN
- 9781461349570
Paperback
Condition: New
€ 124.18
€ 124.18
Hardcover. Contains translations of papers on propositional satisfiability and related logical problems which appeared in ""Problemy Sokrashcheniya Perebora"", published in Russian in 1987. Editor(s): Kreinovich, Vladik; Mints, G. Series: American Mathematical Society Translations: Series 2. Num Pages: 190 pages, Illustrations. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230. Weight in Grams: 567.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821803868
- ISBN
- 9780821803868
Hardback
Condition: New
€ 178.26€ 158.61
€ 178.26
€ 158.61
Hardback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 304 pages, 60 black & white illustrations, 4 colour illustrations, 4 colour tables, biography. BIC Classification: PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 304
- Condition
- New
- SKU
- V9783319555584
- ISBN
- 9783319555584
Hardback
Condition: New
€ 102.86
€ 102.86
Hardback. Editor(s): Peters, S.; Saarinen, Esa. Series: Studies in Linguistics and Philosophy. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1981
- Publisher
- Springer Netherlands
- Number of pages
- 262
- Condition
- New
- SKU
- V9789027713148
- ISBN
- 9789027713148
Hardback
Condition: New
€ 127.77
€ 127.77
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
€ 125.82
€ 125.82
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211818671
- ISBN
- 9783211818671
Paperback
Condition: New
€ 86.08
€ 86.08
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; UL; UMB; UMN; UMX. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211824467
- ISBN
- 9783211824467
Paperback
Condition: New
€ 71.45
€ 71.45
Paperback. Editor(s): Voronkov, Andrei; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 69 black & white illustrations, biography. BIC Classification: PBCD; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642376504
- ISBN
- 9783642376504
Paperback
Condition: New
€ 66.42
€ 66.42
Paperback. Editor(s): Janko, Wolfgang H.; Roubens, M. R.; Zimmermann, H.-J. Series: Theory and Decision Library: D. Num Pages: 189 pages, biography. BIC Classification: KJT; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 11. Weight in Grams: 334.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 189
- Condition
- New
- SKU
- V9789401074056
- ISBN
- 9789401074056
Paperback
Condition: New
€ 123.36
€ 123.36
Paperback. Num Pages: 364 pages, 379 black & white illustrations, 4 black & white tables. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 204 x 18. Weight in Grams: 760.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 364
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781466567917
- ISBN
- 9781466567917
Paperback
Condition: New
€ 71.66
€ 71.66
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 415
- Condition
- New
- SKU
- V9781402006081
- ISBN
- 9781402006081
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. Num Pages: 190 pages, 24 black & white illustrations, biography. BIC Classification: PBC; PBH; PBK; PBM; PBP; PBV. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 14. Weight in Grams: 334.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319162492
- ISBN
- 9783319162492
Paperback
Condition: New
€ 63.54
€ 63.54
Paperback. Series: Dover Books on Mathematics. Num Pages: 384 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 229 x 152 x 26. Weight in Grams: 622.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 384
- Format
- Paperback
- Publication date
- 2013
- Edition
- Second Edition
- Condition
- New
- SKU
- V9780486490731
- ISBN
- 9780486490731
Paperback
Condition: New
€ 27.99€ 19.08
€ 27.99
€ 19.08
Hardback. Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9780792365440
- ISBN
- 9780792365440
Hardback
Condition: New
€ 128.52
€ 128.52
Paperback. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 257
- Condition
- New
- SKU
- V9789048155538
- ISBN
- 9789048155538
Paperback
Condition: New
€ 123.67
€ 123.67
Paperback. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 444
- Condition
- New
- SKU
- V9781402003684
- ISBN
- 9781402003684
Paperback
Condition: New
€ 70.28
€ 70.28
Hardback. 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: PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1280.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 276
- Condition
- New
- SKU
- V9781402094088
- ISBN
- 9781402094088
Hardback
Condition: New
€ 149.39
€ 149.39
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
€ 145.06
€ 145.06
Paperback. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1996
- Number of pages
- 318
- Condition
- New
- SKU
- V9789048147205
- ISBN
- 9789048147205
Paperback
Condition: New
€ 188.17
€ 188.17
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
€ 189.48
€ 189.48