Mathematical foundations
Results 73 - 96 of 167
Mathematical foundations
Paperback. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V.
- Publisher
- Cambridge University Press
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521779111
- ISBN
- 9780521779111
Paperback
Condition: New
€ 59.86
€ 59.86
Paperback. Editor(s): Appel, Andrew W. Num Pages: 160 pages, illustrations. BIC Classification: PBCD; PBX; UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 178 x 253 x 11. Weight in Grams: 302.
- Publisher
- Princeton University Press
- Format
- Paperback
- Publication date
- 2014
- Edition
- Reprint
- Condition
- New
- SKU
- V9780691164731
- ISBN
- 9780691164731
Paperback
Condition: New
€ 17.99€ 14.36
€ 17.99
€ 14.36
Paperback. This short guide to modern error analysis is primarily intended to be used in undergraduate laboratories in the physical sciences. No prior knowledge of statistics is assumed. The necessary concepts are introduced where needed and illustrated graphically. The book emphasises the use of computers for error calculations and data fitting. Num Pages: 160 pages, 75 b/w line illustrations. BIC Classification: PBC; PDDM. Category: (UU) Undergraduate. Dimension: 244 x 189 x 9. Weight in Grams: 354.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 152
- Format
- Paperback
- Publication date
- 2010
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780199566334
- ISBN
- 9780199566334
Paperback
Condition: New
€ 50.81
€ 50.81
Paperback. Special anniversary edition of the best-selling book that challenges basic assumptions of logic Editor(s): Hofstadter, Douglas R. Num Pages: 160 pages, black & white illustrations. BIC Classification: HP; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 203 x 125 x 11. Weight in Grams: 182.
- Publisher
- New York University Press United States
- Number of pages
- 160
- Format
- Paperback
- Publication date
- 2008
- Edition
- 50th Anniversary Ed
- Condition
- New
- SKU
- V9780814758373
- ISBN
- 9780814758373
Paperback
Condition: New
€ 16.99€ 16.37
€ 16.99
€ 16.37
Hardcover. Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning. Num Pages: 360 pages. BIC Classification: CFG; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 246 x 171. .
- Publisher
- Oxford University Press
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780198777892
- ISBN
- 9780198777892
Hardback
Condition: New
€ 118.02
€ 118.02
Paperback. Num Pages: 304 pages, black & white illustrations. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 237 x 158 x 24. Weight in Grams: 412.
- Publisher
- Dover Publications Inc.
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780486492377
- ISBN
- 9780486492377
Paperback
Condition: New
€ 27.99€ 19.21
€ 27.99
€ 19.21
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.00
€ 36.00
Paperback. Num Pages: 364 pages, 379 black & white illustrations, 4 black & white tables. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 204 x 18. Weight in Grams: 760.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 364
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781466567917
- ISBN
- 9781466567917
Paperback
Condition: New
€ 72.46
€ 72.46
Paperback. Logic concepts are more mainstream than you may realize. There's logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Num Pages: 388 pages, illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 187 x 28. Weight in Grams: 578.
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 388
- Format
- Paperback
- Publication date
- 2006
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471799412
- ISBN
- 9780471799412
Paperback
Condition: New
€ 25.99€ 19.25
€ 25.99
€ 19.25
Paperback. Num Pages: 424 pages, illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 275 x 215 x 15. Weight in Grams: 880.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 422
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9781292040646
- ISBN
- 9781292040646
Paperback
Condition: New
€ 96.35
€ 96.35
Paperback. Editor(s): Vukadinovic, Dinko. Num Pages: 168 pages, illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 231 x 165 x 10. Weight in Grams: 246.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 168
- Format
- Paperback
- Publication date
- 2013
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781624171512
- ISBN
- 9781624171512
Paperback
Condition: New
€ 100.56€ 70.11
€ 100.56
€ 70.11
Paperback. Illustrator(s): Nihoff, Tim. Series: McGrath Math (Paperback). Num Pages: 32 pages. BIC Classification: PBC. Category: (J) Children / Juvenile. Weight in Grams: 367.
- Publisher
- Charlesbridge
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781580894272
- ISBN
- 9781580894272
Paperback
Condition: New
€ 9.14
€ 9.14
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
€ 90.36
€ 90.36
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
€ 131.26
€ 131.26
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
€ 68.24
€ 68.24
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
€ 130.36
€ 130.36
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
€ 162.59
€ 162.59
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
€ 128.24
€ 128.24
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
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
€ 90.11
€ 90.11
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€ 38.92
€ 53.99
€ 38.92
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
Hardback. Editor(s): Hines, Allen. Num Pages: 115 pages. BIC Classification: PBCD; PBCH; PBF. Category: (P) Professional & Vocational. Dimension: 166 x 241 x 15. Weight in Grams: 370.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Nova Science Publishers Inc
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634830232
- ISBN
- 9781634830232
Hardback
Condition: New
€ 189.29€ 142.20
€ 189.29
€ 142.20
hardcover. Num Pages: 224 pages. BIC Classification: PBCN; PBH; PBT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 260 x 180. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Nova Science Pub Inc United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9781634844529
- ISBN
- 9781634844529
Hardback
Condition: New
€ 241.35€ 180.50
€ 241.35
€ 180.50