.png){kind=logo}
Mathematical foundations
Results 621 - 640 of 1147
Mathematical foundations
paperback. Editor(s): Montagna, Franco. Series: Outstanding Contributions to Logic. Num Pages: 330 pages, 9 black & white illustrations, biography. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 330
- Condition
- New
- SKU
- V9783319382951
- ISBN
- 9783319382951
Paperback
Condition: New
€ 127.82
€ 127.82
Paperback. Editor(s): Rodriguez-Consuegra, Francisco A. Num Pages: 236 pages, biography. BIC Classification: HPCF; PBC; PBX. Category: (P) Professional & Vocational. Dimension: 244 x 171 x 14. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 236
- Condition
- New
- SKU
- V9783034875356
- ISBN
- 9783034875356
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Series: Trends in Logic. Num Pages: 305 pages, black & white illustrations. BIC Classification: HPL; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 305
- Condition
- New
- SKU
- V9789048160143
- ISBN
- 9789048160143
Paperback
Condition: New
€ 282.90
€ 282.90
Hardback. There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Num Pages: 256 pages, Illustrations. BIC Classification: HPCF; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 159 x 24. Weight in Grams: 516.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 256
- Condition
- New
- SKU
- V9781405197663
- ISBN
- 9781405197663
Hardback
Condition: New
€ 111.41
€ 111.41
Paperback. There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Num Pages: 256 pages. BIC Classification: HPCF; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 17. Weight in Grams: 384.
- Publisher
- John Wiley and Sons Ltd
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781405197670
- ISBN
- 9781405197670
Paperback
Condition: New
€ 36.22
€ 36.22
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 365 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 365
- Condition
- New
- SKU
- V9783642024238
- ISBN
- 9783642024238
Paperback
Condition: New
€ 67.67
€ 67.67
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
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
Paperback. Series: Synthese Library. Num Pages: 198 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 235 x 155 x 11. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 1974
- Publisher
- Springer Netherlands
- Number of pages
- 198
- Condition
- New
- SKU
- V9789027705105
- ISBN
- 9789027705105
Paperback
Condition: New
€ 66.34
€ 66.34
Paperback. This text presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. Series: Lecture Notes in Logic. Num Pages: 139 pages, biography. BIC Classification: PBCD; PBCH; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 8. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 139
- Condition
- New
- SKU
- V9783540616993
- ISBN
- 9783540616993
Paperback
Condition: New
€ 65.52
€ 65.52
Mixed media pr. Series: eXamen.Press. Num Pages: 206 pages, black & white illustrations, black & white line drawings, bibliography. BIC Classification: PBCN; PBD; UY. Category: (G) General (US: Trade). Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 206
- Condition
- New
- SKU
- V9783540708452
- ISBN
- 9783540708452
Paperback
Condition: New
€ 50.37
€ 50.37
Paperback. Series: Theory and Decision Library: D. Num Pages: 256 pages, biography. BIC Classification: JH; KJQ; KJT; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1995
- Number of pages
- 256
- Condition
- New
- SKU
- V9789048144662
- ISBN
- 9789048144662
Paperback
Condition: New
€ 194.14
€ 194.14
Hardback. Parameterized complexity theory is a branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. This book presents an introduction to both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 495 pages, 51 black & white illustrations. BIC Classification: PBCD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 980.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783540299523
- ISBN
- 9783540299523
Hardback
Condition: New
€ 141.93
€ 141.93
Paperback / so. Num Pages: black & white illustrations, colour illustrations, colour tables, bibliography. BIC Classification: PBC; PHU; TGM. Category: (G) General (US: Trade). Dimension: 210 x 148 x 12. Weight in Grams: 274.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Spektrum United States
- Condition
- New
- SKU
- V9783658149406
- ISBN
- 9783658149406
Paperback
Condition: New
€ 72.46
€ 72.46
Hardback. The Fundamental Theorem of Algebra states that any complex polynomial must have a complex root. This title contains a series of appendices that give six additional proofs including a version of Gauss' original first proof. It is intended for junior/senior level undergraduate mathematics students or first year graduate students. Series: Undergraduate Texts in Mathematics. Num Pages: 221 pages, biography. BIC Classification: PBC; PBF. Category: (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9780387946573
- ISBN
- 9780387946573
Hardback
Condition: New
€ 105.98
€ 105.98
Paperback / so. Series: Bestmasters. Num Pages: 100 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: PBC; PBF; PBW; PHVN. Category: (G) General (US: Trade). Dimension: 210 x 148 x 7. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Spektrum United States
- Number of pages
- 100
- Condition
- New
- SKU
- V9783658089467
- ISBN
- 9783658089467
Paperback
Condition: New
€ 77.99
€ 77.99
Paperback. Num Pages: 395 pages, 18 black & white illustrations, biography. BIC Classification: PBCN; PBK; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 395
- Condition
- New
- SKU
- V9783662032886
- ISBN
- 9783662032886
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Series: Monographs in Computer Science. Num Pages: 435 pages, biography. BIC Classification: PBC; PBKS; PBV; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 667.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 435
- Condition
- New
- SKU
- V9781461277927
- ISBN
- 9781461277927
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback / so. Series: Wissenschaft Und Hypothese. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 203 x 127 x 14. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 1927
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Condition
- New
- SKU
- V9783663151685
- ISBN
- 9783663151685
Paperback
Condition: New
€ 71.35
€ 71.35
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