Mathematical foundations
Results 625 - 648 of 712
Mathematical foundations
Hardback. Num Pages: 256 pages, black & white illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 15. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Princeton University Press United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780691058535
- ISBN
- 9780691058535
Hardback
Condition: New
€ 108.45€ 82.87
€ 108.45
€ 82.87
Paperback. This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. Series: Universitext. Num Pages: 492 pages, 3 black & white illustrations, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 1520.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 492
- Condition
- New
- SKU
- V9783540423249
- ISBN
- 9783540423249
Paperback
Condition: New
€ 223.25
€ 223.25
The Dynamics of Judicial Proof. Computation, Logic and Common Sense.
. Ed(S): Maccrimmon, Marilyn; Tillers, Peter
Hardback. The papers in this collection consider whether computational or other formal logical methods developed in disciplines such as artificial intelligence, decision theory and probability theory can enable the study and management of dynamic evidentiary and inferential processes in litigation. Editor(s): MacCrimmon, Marilyn; Tillers, Peter. Series: Studies in Fuzziness and Soft Computing. Num Pages: 494 pages, 5 black & white tables, biography. BIC Classification: LAF; PBCD; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1990.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783790814590
- ISBN
- 9783790814590
Hardback
Condition: New
€ 257.14
€ 257.14
The Foundational Debate. Complexity and Constructivity in Mathematics ...
. Ed(S): Depauli-Schimanovich, Werner; Kohler...
Paperback. Editor(s): DePauli-Schimanovich, Werner; Kohler, Eckehart; Stadler, Friedrich. Series: Vienna Circle Institute Yearbook. Num Pages: 368 pages, biography. BIC Classification: HB; HPL; PBC; PHQ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1995
- Number of pages
- 368
- Condition
- New
- SKU
- V9789048146178
- ISBN
- 9789048146178
Paperback
Condition: New
€ 185.74
€ 185.74
Paperback. The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide. Num Pages: 416 pages, 113 b/w line drawings. BIC Classification: PBC. Category: (UU) Undergraduate. Dimension: 218 x 138 x 25. Weight in Grams: 506.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780198706434
- ISBN
- 9780198706434
Paperback
Condition: New
€ 33.36
€ 33.36
Paperback. Lecce, 1993 Editor(s): Garola, Claudio; Rossi, Arcangelo. Series: Fundamental Theories of Physics. Num Pages: 471 pages, biography. BIC Classification: HPK; PBC; PBT; PDX; PHQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 24. Weight in Grams: 753.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1995
- Condition
- New
- SKU
- V9789401040174
- ISBN
- 9789401040174
Paperback
Condition: New
€ 65.66
€ 65.66
Paperback. Editor(s): Grosholz, Emily R.; Breger, Herbert. Series: Synthese Library. Num Pages: 416 pages, biography. BIC Classification: HB; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 416
- Condition
- New
- SKU
- V9789048153916
- ISBN
- 9789048153916
Paperback
Condition: New
€ 270.81
€ 270.81
Paperback. This softcover reprint of a popular reference provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. Series: Springer Monographs in Mathematics. Num Pages: 560 pages, biography. BIC Classification: PBC; PBP. Category: (P) Professional & Vocational. Dimension: 236 x 156 x 30. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2nd ed. 2003. Corr. 2nd printing 2005
- Condition
- New
- SKU
- V9783540888666
- ISBN
- 9783540888666
Paperback
Condition: New
€ 176.57
€ 176.57
Hardcover. Explains how computers have brought a fresh practicality to mathematics and mathematical applications. This book explains fuzzy logic, a technique that allows computers to work with imprecise terms. It also discusses 'genetic algorithms' and 'neural networks'. It is intended for both specialists and the general reader. Num Pages: 200 pages, 25 line drawings 1 table. BIC Classification: PBB; PBCD; PBWX; PD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 22. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Princeton University Press
- Number of pages
- 208
- Condition
- New
- SKU
- V9780691001449
- ISBN
- 9780691001449
Hardback
Condition: New
€ 53.05€ 42.31
€ 53.05
€ 42.31
The Law of Non-contradiction. New Philosophical Essays.
. Ed(S): Priest, Graham; Beall, J.C.; Armour-...
Paperback. Investigates the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. This volume presents a debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law. Editor(s): Priest, Graham; Beall, J.C.; Armour-Garb, Bradley. Num Pages: 400 pages, black & white illustrations. BIC Classification: CFA; HPK; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 232 x 160 x 24. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9780199204199
- ISBN
- 9780199204199
Paperback
Condition: New
€ 85.53
€ 85.53
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 740 pages, biography. BIC Classification: PBC; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 740
- Condition
- New
- SKU
- V9783642781629
- ISBN
- 9783642781629
Paperback
Condition: New
€ 125.69
€ 125.69
Paperback. Series: Synthese Library. Num Pages: 276 pages, biography. BIC Classification: CFX; HPL; PBC; UYQ. Category: (G) General (US: Trade). Dimension: 254 x 178 x 14. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 2nd ed. 1983
- Number of pages
- 276
- Condition
- New
- SKU
- V9789401098700
- ISBN
- 9789401098700
Paperback
Condition: New
€ 133.65
€ 133.65
paperback. Editor(s): Kijania-Placek, Katarzyna; Wolenski, Jan. Series: Synthese Library. Num Pages: 404 pages, biography. BIC Classification: CFA; HPK; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 22. Weight in Grams: 667.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 404
- Condition
- New
- SKU
- V9789401061469
- ISBN
- 9789401061469
Paperback
Condition: New
€ 186.30
€ 186.30
The Mathematics of Language. 12th Biennial Conference, MOL 12, Nara, J...
. Ed(S): Kanazawa, Makoto; Kracht, Marcus; Se...
Paperback. Constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. This title presents papers that cover such diverse topics as formal languages, parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth. Editor(s): Kanazawa, Makoto; Kracht, Marcus; Seki, Hiroyuki; Kornai, Andras. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 231 pages, 53 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBC; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642232107
- ISBN
- 9783642232107
Paperback
Condition: New
€ 79.60
€ 79.60
Hardback. Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science. Num Pages: 1004 pages, 338 b/w line illustrations, and 30 b/w halftones. BIC Classification: PBCD; PH; UGK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 249 x 195 x 55. Weight in Grams: 2316.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 1004
- Format
- Hardback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780199233212
- ISBN
- 9780199233212
Hardback
Condition: New
€ 111.97
€ 111.97
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 65.50
€ 65.50
Paperback. Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic. Editor(s): Shapiro, Stewart. Series: Oxford Handbooks. Num Pages: 832 pages, 9 line illustrations. BIC Classification: HPL; PBB; PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 247 x 176 x 54. Weight in Grams: 1472.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Oxford University Press Inc United States
- Number of pages
- 850
- Condition
- New
- SKU
- V9780195325928
- ISBN
- 9780195325928
Paperback
Condition: New
€ 81.91
€ 81.91
The Pamphlets of Lewis Carroll. The Logic Pamphlets of Lewis Carroll a...
Carroll, Lewis. Ed(S): Abeles, Francine F.
Hardback. Editor(s): Abeles, Francine F. Series: The pamphlets of Lewis Carroll. Num Pages: 291 pages, Illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 23. Weight in Grams: 599.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Cobwebs Brentwood United Kingdom
- Number of pages
- 291
- Condition
- New
- SKU
- V9780930326258
- ISBN
- 9780930326258
Hardback
Condition: New
€ 98.69
€ 98.69
The Parametric Lambda Calculus. A Meta-Model for Computation.
Ronchi Della Rocca, Simona; Paolini, Luca
Hardback. Contains a presentation of classical results in the field of Lambda Calculus. This text presents a calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540200321
- ISBN
- 9783540200321
Hardback
Condition: New
€ 68.79
€ 68.79
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 248 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 174 x 234 x 15. Weight in Grams: 392. Series: Texts in Theoretical Computer Science: An EATCS Series. 267 pages, black & white illustrations. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 174 x 234 x 15. Weight: 392.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Number of pages
- 267
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642057465
- ISBN
- 9783642057465
Paperback
Condition: New
€ 64.01
€ 64.01
Paperback. .
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 232
- Format
- Paperback
- Publication date
- 2005
- Condition
- New
- SKU
- V9781568813271
- ISBN
- 9781568813271
Paperback
Condition: New
€ 39.69
€ 39.69
Paperback. Editor(s): McGuinness, B. F.; Oliveri, Gianluigi. Series: Synthese Library. Num Pages: 394 pages, biography. BIC Classification: CFA; HPJ; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 229 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 394
- Condition
- New
- SKU
- V9789048143894
- ISBN
- 9789048143894
Paperback
Condition: New
€ 186.01
€ 186.01
Hardback. The Real Numbers Series: Undergraduate Texts in Mathematics. Num Pages: 244 pages, 62 black & white illustrations, biography. BIC Classification: PBC; PBKB; PBX. Category: (P) Professional & Vocational. Dimension: 157 x 243 x 21. Weight in Grams: 534.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 262
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319015767
- ISBN
- 9783319015767
Hardback
Condition: New
€ 47.99€ 44.07
€ 47.99
€ 44.07
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 300 pages, biography. BIC Classification: PBC; PBKS; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642644733
- ISBN
- 9783642644733
Paperback
Condition: New
€ 64.14
€ 64.14