Mathematical foundations
Results 1 - 20 of 268
Mathematical foundations
Hardcover. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic.. ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 272 pages, index. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780471060260
- ISBN
- 9780471060260
Hardback
Condition: New
€ 212.06
€ 212.06
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 148.65
€ 148.65
Paperback. This fresh edition of the straightforward introduction to modern mathematical logic retains its appeal to the intuition of working mathematicians, yet along with the material from the first edition, it has fresh chapters, one of which deals with Model Theory. Translator(s): Koblitz, Neal. Series: Graduate Texts in Mathematics. Num Pages: 402 pages, 12 black & white illustrations, 4 black & white tables, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Condition
- New
- SKU
- V9781461424796
- ISBN
- 9781461424796
Paperback
Condition: New
€ 84.62
€ 84.62
Paperback. The axiomatic theory of sets is a vibrant part of pure mathematics, and is also viewed as a foundation of mathematics. This book addresses both pure math and the fundamentals. The new edition is reworked and expanded for improved presentation. Series: Undergraduate Texts in Mathematics. Num Pages: 290 pages, biography. BIC Classification: PBCH. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 160 x 22. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd
- Number of pages
- 292
- Condition
- New
- SKU
- V9780387287232
- ISBN
- 9780387287232
Paperback
Condition: New
€ 86.57
€ 86.57
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.27
€ 259.27
Hardback. Num Pages: 272 pages, 42 line illus. BIC Classification: PBC; PHU; PHVB; PHVG. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 187 x 261 x 22. Weight in Grams: 756.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780691170602
- ISBN
- 9780691170602
Hardback
Condition: New
€ 88.33€ 68.86
€ 88.33
€ 68.86
Hardcover. Praise for William Dunham s Journey Through Genius The Great Theorems of Mathematics "Dunham deftly guides the reader through the verbal and logical intricacies of major mathematical questions and proofs, conveying a splendid sense of how the greatest mathematicians from ancient to modern times presented their arguments. Num Pages: 320 pages, illustrations; portraits. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 158 x 28. Weight in Grams: 638.
- Publisher
- Wiley
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 1990
- Edition
- 1st
- Condition
- New
- SKU
- V9780471500308
- ISBN
- 9780471500308
Hardback
Condition: New
€ 40.99€ 28.96
€ 40.99
€ 28.96
Hardcover. Scaling Analysis in Modeling Transport and Reaction Processes is the first book to provide in-depth information on systematic scaling analysis in diverse disciplines. It is logically divided into chapters on the use of systematic scaling analysis in fluid dynamics, heat transfer, mass transfer, and reaction processes. Num Pages: 530 pages, illustrations. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 235 x 162 x 32. Weight in Grams: 904.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 530
- Condition
- New
- SKU
- V9780471772613
- ISBN
- 9780471772613
Hardback
Condition: New
€ 185.30
€ 185.30
Paperback. Solutions manual to accompany Num Pages: 194 pages. BIC Classification: PBCD; PBD. Category: (P) Professional & Vocational. Dimension: 243 x 189 x 11. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 194
- Condition
- New
- SKU
- V9781118762677
- ISBN
- 9781118762677
Paperback
Condition: New
€ 24.76
€ 24.76
Paperback. If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, this work takes the reader through the whole gamut of logical expressions in a simple way. Num Pages: 304 pages, line drawings, diagrams, tables, further reading, index. BIC Classification: HPL; PBCD; PDZM. Category: (G) General (US: Trade). Dimension: 198 x 128 x 14. Weight in Grams: 216.
- Publisher
- Penguin Books Ltd United Kingdom
- Number of pages
- 304
- Format
- Paperback
- Publication date
- 2001
- Edition
- 2Rev Ed
- Condition
- New
- SKU
- V9780141003146
- ISBN
- 9780141003146
Paperback
Condition: New
€ 14.99€ 11.80
€ 14.99
€ 11.80
Paperback. .
- Publisher
- American Mathematical Society United States
- Format
- Paperback
- Publication date
- 1984
- Condition
- New
- SKU
- V9780821850275
- ISBN
- 9780821850275
Paperback
Condition: New
€ 173.29
€ 173.29
Paperback. Num Pages: 380 pages, 2 line illustrations. BIC Classification: HP; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 216 x 142 x 23. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1969
- Publisher
- Harvard University Press United States
- Edition
- Rev ed
- Number of pages
- 380
- Condition
- New
- SKU
- V9780674802070
- ISBN
- 9780674802070
Paperback
Condition: New
€ 47.99€ 40.39
€ 47.99
€ 40.39
Hardcover. Presents an introduction to set theory for beginning graduate students who want to get a grounding in those aspects of set theory used extensively throughout other areas of mathematics. This book contains topics that include formal languages and models, the power and limitation of the Axiomatic Method, and the Axiom of Choice. Series: Graduate Studies in Mathematics. Num Pages: 210 pages, Illustrations. BIC Classification: PBCD; PBCH. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 652.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- American Mathematical Society
- Condition
- New
- SKU
- V9780821802663
- ISBN
- 9780821802663
Hardback
Condition: New
€ 114.79
€ 114.79
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. Num Pages: 224 pages. BIC Classification: PBCD; UYM. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119193180
- ISBN
- 9781119193180
Hardback
Condition: New
€ 138.34
€ 138.34
Hardcover. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 365
- Condition
- New
- SKU
- V9780471570356
- ISBN
- 9780471570356
Hardback
Condition: New
€ 204.50
€ 204.50
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 200.09
€ 200.09
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
Paperback. .
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 182
- Format
- Paperback
- Publication date
- 2005
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568812380
- ISBN
- 9781568812380
Paperback
Condition: New
€ 49.02
€ 49.02
Hardback. A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Num Pages: 394 pages, biography. BIC Classification: PBCD; TJFC. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9780792398929
- ISBN
- 9780792398929
Hardback
Condition: New
€ 135.61
€ 135.61