Mathematical foundations
Results 1 - 20 of 178
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
€ 55.14
€ 55.14
paperback. A two-volume advanced text for graduate students. This first volume covers the theory of Fourier analysis. Series: London Mathematical Society Student Texts. Num Pages: 366 pages, 50 b/w illus. 200 exercises. BIC Classification: PBC; PBG; PBK; PBT. Category: (UU) Undergraduate. Dimension: 159 x 298 x 24. Weight in Grams: 520.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Cambridge University Press
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781107620353
- ISBN
- 9781107620353
Paperback
Condition: New
€ 50.17€ 50.09
€ 50.17
€ 50.09
paperback. Provides readers with experience of working on difficult unsolved problems. No deep mathematical background is required. Series: Aims Library of Mathematical Sciences. Num Pages: 126 pages, 20 b/w illus. 120 exercises. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 141 x 216 x 15. Weight in Grams: 166.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781316610565
- ISBN
- 9781316610565
Paperback
Condition: New
€ 25.99€ 23.89
€ 25.99
€ 23.89
hardcover. A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium. Editor(s): Andretta, Alessandro; Kearnes, Keith; Zambella, Domenico. Series: Lecture Notes in Logic. Num Pages: 236 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 16. Weight in Grams: 440.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Cambridge University Press United Kingdom
- Edition
- 1st Edition
- Number of pages
- 236
- Condition
- New
- SKU
- V9780521884242
- ISBN
- 9780521884242
Hardback
Condition: New
€ 127.12
€ 127.12
Hardcover. 'Oxford Logic Guide provides comprehensive coverage of a new research area in algebra and model theory. Model theoretical and group theoretical notions are explained in detail, and almost all the known results in the area are included. Aimed at the needs of the graduate student, there are many exercises (with hints) and carefully chosen examples. Series: Oxford Logic Guides. Num Pages: 426 pages, bibliography. BIC Classification: PBCD; PBG. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 28. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 426
- Condition
- New
- Edition
- Illustrated
- SKU
- V9780198534457
- ISBN
- 9780198534457
Hardback
Condition: New
€ 247.53
€ 247.53
Paperback. This book introduces ten problem-solving strategies by first presenting the strategy and then applying it to problems in elementary mathematics. Num Pages: 250 pages. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 231 x 154 x 14. Weight in Grams: 346.
- Publisher
- World Scientific Publishing Co Pte Ltd
- Format
- Paperback
- Publication date
- 2015
- Condition
- New
- SKU
- V9789814651639
- ISBN
- 9789814651639
Paperback
Condition: New
€ 25.99€ 25.85
€ 25.99
€ 25.85
Hardcover. Contains the text of "The Concept of Truth in Formalized Languages". This title includes a preface and an analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy. Translator(s): Woodger, J.H. Num Pages: 536 pages. BIC Classification: JM; PBC. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 159 x 40. Weight in Grams: 836.
- Publisher
- Hackett Publishing Co, Inc United States
- Number of pages
- 536
- Format
- Hardback
- Publication date
- 1983
- Edition
- Second Edition,2
- Condition
- New
- SKU
- V9780915144754
- ISBN
- 9780915144754
Hardback
Condition: New
€ 55.49€ 43.75
€ 55.49
€ 43.75
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
€ 181.21€ 135.71
€ 181.21
€ 135.71
Paperback. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Princeton University Press United States
- Number of pages
- 392
- Condition
- New
- SKU
- V9780691029061
- ISBN
- 9780691029061
Paperback
Condition: New
€ 90.61€ 69.64
€ 90.61
€ 69.64
Hardback. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 2nd ed. 2016
- Condition
- New
- SKU
- V9783319234878
- ISBN
- 9783319234878
Hardback
Condition: New
€ 60.63
€ 60.63
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
€ 16.99€ 13.95
€ 16.99
€ 13.95
Hardback.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Princeton University Press
- Edition
- 0th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9780691155746
- ISBN
- 9780691155746
Hardback
Condition: New
€ 35.99€ 26.47
€ 35.99
€ 26.47
Hardback. Num Pages: 256 pages, 47 color illus. 4 line illus. 2 tables. BIC Classification: PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 165 x 243 x 20. Weight in Grams: 656.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780691163062
- ISBN
- 9780691163062
Hardback
Condition: New
€ 81.55€ 62.99
€ 81.55
€ 62.99
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
€ 50.97€ 40.61
€ 50.97
€ 40.61
hardcover. This book is concerned with the coherent treatment, including the derivation, analysis, and applications, of the most useful scalar extrapolation methods. Series: Cambridge Monographs on Applied and Computational Mathematics. Num Pages: 542 pages, illustrations. BIC Classification: PBC; PBKS. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 38. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Cambridge University Press United Kingdom
- Edition
- Illustrated
- Number of pages
- 542
- Condition
- New
- SKU
- V9780521661591
- ISBN
- 9780521661591
Hardback
Condition: New
€ 159.86
€ 159.86
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 56.40
€ 56.40
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.33
€ 9.33
Hardcover. * Enforces the fundamental rule that you are not allowed to use any results that you have not proved yet, and consequently starts with an axiomatic system and builds from there * Introduces proof methods in a separate section of the Logic chapter to facilitate the development of proof writing skills. Num Pages: 338 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 162 x 22. Weight in Grams: 622.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9780470551387
- ISBN
- 9780470551387
Hardback
Condition: New
€ 102.21
€ 102.21
Paperback. Series: Annals of Mathematics Studies. Num Pages: 352 pages, 22 line illus. 8 tables. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 237 x 155 x 25. Weight in Grams: 514.
- Publisher
- Princeton University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- Reprint
- Condition
- New
- SKU
- V9780691166919
- ISBN
- 9780691166919
Paperback
Condition: New
€ 79.28€ 61.33
€ 79.28
€ 61.33
Hardback. Series: Annals of Mathematics Studies. Num Pages: 352 pages, 22 line illus. 8 tables. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 163 x 27. Weight in Grams: 634.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691166902
- ISBN
- 9780691166902
Hardback
Condition: New
€ 175.56€ 132.43
€ 175.56
€ 132.43