.png){kind=logo}
Mathematical foundations
Results 261 - 280 of 1149
Mathematical foundations
Paperback. Editor(s): Krynicki, Michal; Mostowski, Marcin (Department of Philosophy, University of Warsaw, Poland); Szczerba, L.W. (Siedlce University, Poland). Series: Synthese Library. Num Pages: 278 pages, biography. BIC Classification: CFG; HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of 1st ed. 1995
- Number of pages
- 278
- Condition
- New
- SKU
- V9789048145409
- ISBN
- 9789048145409
Paperback
Condition: New
€ 127.73
€ 127.73
paperback. Editor(s): Krynicki, Michal; Mostowski, Marcin (Department of Philosophy, University of Warsaw, Poland); Szczerba, L.W. (Siedlce University, Poland). Series: Synthese Library. Num Pages: 424 pages, biography. BIC Classification: CFG; HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 24. Weight in Grams: 637.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1995
- Number of pages
- 424
- Condition
- New
- SKU
- V9789048145393
- ISBN
- 9789048145393
Paperback
Condition: New
€ 195.34
€ 195.34
Paperback. Editor(s): Torza, Alessandro. Series: Synthese Library. Num Pages: 534 pages, 7 black & white illustrations, biography. BIC Classification: CFG; HPK; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 534
- Condition
- New
- SKU
- V9783319373454
- ISBN
- 9783319373454
Paperback
Condition: New
€ 195.97
€ 195.97
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 477 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 477
- Condition
- New
- SKU
- V9789048150380
- ISBN
- 9789048150380
Paperback
Condition: New
€ 372.96
€ 372.96
Paperback. Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 Editor(s): Hommel, Gunter. Num Pages: 195 pages, biography. BIC Classification: GPFC; PBC; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 195
- Condition
- New
- SKU
- V9789401040846
- ISBN
- 9789401040846
Paperback
Condition: New
€ 127.00
€ 127.00
Quadratic Forms, Linear Algebraic Groups, and Cohomology
. Ed(S): Colliot-Thelene, Jean-Louis; Garibal...
Hardback. Collects the papers that address topics related to the research of Raman Parimala (plenary speaker at the ICM 2010), focusing on the interplay between algebra, number theory, and algebraic geometry. This title covers research in areas such as field patching and a proof of the Serre's Conjecture II for function fields of complex surfaces. Editor(s): Colliot-Thelene, Jean-Louis; Garibaldi, Skip; Sujatha, R.; Suresh, Venapally. Series: Developments in Mathematics. Num Pages: 348 pages, 47 black & white illustrations, 4 black & white tables, biography. BIC Classification: PBC; PBF; PBH; PBMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1500.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 348
- Condition
- New
- SKU
- V9781441962102
- ISBN
- 9781441962102
Hardback
Condition: New
€ 134.66
€ 134.66
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 274 pages, 35 black & white tables, biography. BIC Classification: GPF; PBCH; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 274
- Condition
- New
- SKU
- V9783790824933
- ISBN
- 9783790824933
Paperback
Condition: New
€ 127.70
€ 127.70
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 274 pages, 35 black & white tables, biography. BIC Classification: GPF; PBCH; UYQE. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 274
- Condition
- New
- SKU
- V9783790814149
- ISBN
- 9783790814149
Hardback
Condition: New
€ 133.25
€ 133.25
Hardback. This 'excursion' through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein's division theorem. Series: Science Networks. Historical Studies. Num Pages: 452 pages, 21 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBCH; PBX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 842.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Basel Switzerland
- Number of pages
- 452
- Condition
- New
- SKU
- V9783034802239
- ISBN
- 9783034802239
Hardback
Condition: New
€ 130.14
€ 130.14
Hardback. This book is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality. Informal discussion plays a key role. Series: Undergraduate Texts in Mathematics. Num Pages: 358 pages, biography. BIC Classification: PBC; PBF; PBV. Category: (P) Professional & Vocational. Dimension: 243 x 168 x 26. Weight in Grams: 712.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 382
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9781441971265
- ISBN
- 9781441971265
Hardback
Condition: New
€ 96.50
€ 96.50
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
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. 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
€ 194.50
€ 194.50
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
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
€ 155.29
€ 155.29
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
€ 73.04
€ 73.04
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
€ 127.78
€ 127.78
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
€ 132.81
€ 132.81
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
€ 65.92
€ 65.92
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
€ 72.70
€ 72.70