Mathematical foundations
Results 81 - 100 of 268
Mathematical foundations
paperback. Num Pages: black & white tables, diagrams, figures. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 226 x 160 x 8. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Brooks/Cole United States
- Condition
- New
- Edition
- New
- SKU
- V9780547165387
- ISBN
- 9780547165387
Paperback
Condition: New
€ 54.53
€ 54.53
Paperback. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 456
- Condition
- New
- SKU
- V9780199652600
- ISBN
- 9780199652600
Paperback
Condition: New
€ 94.61
€ 94.61
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 137.96
€ 137.96
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 71.63
€ 71.63
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 137.03
€ 137.03
Paperback. Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: PBC; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540875307
- ISBN
- 9783540875307
Paperback
Condition: New
€ 170.95
€ 170.95
Hardback. This book provides axioms of partial order and some basic material, for example consequences of criss-crossing of data profiles, the role of aggregations of the indicators and the powerful method of formal concept analysis. Series: Environmental and Ecological Statistics. Num Pages: 338 pages, biography. BIC Classification: PBCD; PBT; TBJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 707.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9781441984760
- ISBN
- 9781441984760
Hardback
Condition: New
€ 134.32
€ 134.32
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
€ 90.36
€ 90.36
paperback. Num Pages: 524 pages, 116 black & white illustrations, 10 colour illustrations, biography. BIC Classification: JNU; PBC; PBM; PBX. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 27. Weight in Grams: 986.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhäuser United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 524
- Condition
- New
- SKU
- V9781493951178
- ISBN
- 9781493951178
Paperback
Condition: New
€ 130.70
€ 130.70
Hardcover. Editor(s): McFarland, Andrew; McFarland, Joanna; Smith, James. Num Pages: 524 pages, 116 black & white illustrations, 10 colour illustrations, biography. BIC Classification: JNU; PBC; PBM; PBX. Category: (P) Professional & Vocational. Dimension: 260 x 184 x 26. Weight in Grams: 1084.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9781493914739
- ISBN
- 9781493914739
Hardback
Condition: New
€ 132.14
€ 132.14
Hardcover. Written by one of the world's leading popularizers of mathematics, this book is suitable for undergraduate students of mathematics. It offers an introductory chapter on the nature of mathematics, a chapter on complex numbers, and a discussion of formal symbolic logic. It helps the students to transitioning from calculus to higher mathematics. Series: Chapman Hall/CRC Mathematics Series. Num Pages: 160 pages, 11 black & white illustrations. BIC Classification: PBC. Category: (UU) Undergraduate. Dimension: 236 x 163 x 15. Weight in Grams: 376.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Chapman and Hall/CRC
- Edition
- 3rd Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9781584884491
- ISBN
- 9781584884491
Hardback
Condition: New
€ 91.06
€ 91.06
Paperback. Num Pages: 434 pages. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 181 x 231 x 22. Weight in Grams: 666.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Broadview Press
- Number of pages
- 450
- Condition
- New
- SKU
- V9781551119939
- ISBN
- 9781551119939
Paperback
Condition: New
€ 53.99€ 48.82
€ 53.99
€ 48.82
Hardcover. An exploration of number systems that extend and generalise the real numbers, of interest to students, mathematics teachers and enthusiasts. Series: Classroom Resource Materials. Num Pages: 229 pages, Illustrations. BIC Classification: PBCN. Category: (U) Tertiary Education (US: College). Dimension: 236 x 155 x 17. Weight in Grams: 430. Series: Classroom Resource Materials. 229 pages, illustrations. An exploration of number systems that extend and generalise the real numbers, of interest to students, mathematics teachers and enthusiasts. Cateogry: (U) Tertiary Education (US: College). BIC Classification: PBCN. Dimension: 236 x 155 x 17. Weight: 430.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Mathematical Association of America
- Number of pages
- 229
- Condition
- New
- SKU
- V9780883857779
- ISBN
- 9780883857779
Hardback
Condition: New
€ 70.47
€ 70.47
Hardcover. Editor(s): Sati, Hisham; Schrelber, Urs. Series: Proceedings of Symposia in Pure Mathematics. Num Pages: 357 pages, Illustrations. BIC Classification: PBC; PHQ. Category: (G) General (US: Trade). Dimension: 261 x 183 x 25. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- American Mathematical Society
- Condition
- New
- SKU
- V9780821851951
- ISBN
- 9780821851951
Hardback
Condition: New
€ 159.18
€ 159.18
Paperback. Tries to display the value (and joy!) of starting from a mathematically amorphous problem and combining ideas from diverse sources to produce new and significant mathematics - mathematics unforeseen from the motivating problem. This book focuses on aperiodic tilings; the best-known example is the 'kite and dart' tiling. Series: Student Mathematical Library. Num Pages: 128 pages, illustrations, references, index. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 217 x 140 x 7. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821819333
- ISBN
- 9780821819333
Paperback
Condition: New
€ 59.01
€ 59.01
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
€ 199.77
€ 199.77
Hardcover. Recent Progress in General Topology III Editor(s): Hart, K. P.; Mill, Jan van; Simon, P. Num Pages: 910 pages, 33 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBG; PBKF. Category: (P) Professional & Vocational. Dimension: 163 x 243 x 55. Weight in Grams: 1534.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390232
- ISBN
- 9789462390232
Hardback
Condition: New
€ 221.22
€ 221.22
Hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 209 pages, 46 black & white tables, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 166 x 242 x 19. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Physica
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783790814583
- ISBN
- 9783790814583
Hardback
Condition: New
€ 132.05
€ 132.05
Paperback. A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Series: Studies in Universal Logic. Num Pages: 387 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 20. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 387
- Condition
- New
- SKU
- V9783764387075
- ISBN
- 9783764387075
Paperback
Condition: New
€ 129.23
€ 129.23
Paperback. Features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. Num Pages: 466 pages, 7 black & white illustrations, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 172 x 26. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2 Rev ed
- Number of pages
- 466
- Condition
- New
- SKU
- V9783764383497
- ISBN
- 9783764383497
Paperback
Condition: New
€ 130.26
€ 130.26