Mathematical foundations
Results 1021 - 1040 of 1168
Mathematical foundations
Paperback. This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. Editor(s): De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 295
- Condition
- New
- SKU
- V9789402406870
- ISBN
- 9789402406870
Paperback
Condition: New
€ 149.40
€ 149.40
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
€ 206.33
€ 206.33
Hardback. Series: Atlantis Studies in Computing. Num Pages: 214 pages, 65 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBCD; UM; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 214
- Condition
- New
- SKU
- V9789462392038
- ISBN
- 9789462392038
Hardback
Condition: New
€ 118.27
€ 118.27
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
€ 89.63
€ 89.63
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
€ 123.20
€ 123.20
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
€ 122.37
€ 122.37
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
€ 84.66
€ 84.66
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
€ 126.49
€ 126.49
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
€ 157.86
€ 157.86
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
€ 126.58
€ 126.58
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
€ 66.30
€ 66.30
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
€ 127.45
€ 127.45
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
€ 89.14
€ 89.14
Paperback. Editor(s): D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Hahnle, Reiner; Posegga, Joachim. Num Pages: 670 pages, biography. BIC Classification: HPL; PBC; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 160 x 36. Weight in Grams: 958.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 1999
- Condition
- New
- SKU
- V9789048151844
- ISBN
- 9789048151844
Paperback
Condition: New
€ 236.05
€ 236.05
Hardback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 695 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBCD; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 32. Weight in Grams: 1132.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 703
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319001180
- ISBN
- 9783319001180
Hardback
Condition: New
€ 218.23
€ 218.23
Paperback. Editor(s): Baltag, Alexandru; Smets, Sonja (Free University of Brussels, Belgium). Series: Outstanding Contributions to Logic. Num Pages: 1040 pages, 115 black & white illustrations, biography. BIC Classification: HPL; PBC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 55. Weight in Grams: 1629.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- Softcover reprint of the original 1st ed. 2014
- Condition
- New
- SKU
- V9783319382975
- ISBN
- 9783319382975
Paperback
Condition: New
€ 238.79
€ 238.79
Paperback. Num Pages: 496 pages. BIC Classification: PBC; TBJ; UYA. Category: (G) General (US: Trade). Dimension: 155 x 232 x 27. Weight in Grams: 686.
- Publisher
- Dover Publications Inc.
- Format
- Paperback
- Publication date
- 2016
- Edition
- Reprint
- Condition
- New
- SKU
- V9780486807935
- ISBN
- 9780486807935
Paperback
Condition: New
€ 33.99€ 22.06
€ 33.99
€ 22.06
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
€ 64.38
€ 64.38
Hardback. .
- Publisher
- CLANRYE INTERNATIONAL
- Format
- Hardback
- Publication date
- 2015
- Condition
- New
- SKU
- V9781632403780
- ISBN
- 9781632403780
Hardback
Condition: New
€ 137.90
€ 137.90
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
€ 62.59
€ 62.59