×


 x 

Shopping cart

Mathematical foundations

Results 1141 - 1160 of 1201

Mathematical foundations

Hardback. Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories. Series: Translations of Mathematical Monographs Reprint. Num Pages: 153 pages. BIC Classification: HPL; PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 184. Weight in Grams: 510.
Format
Hardback
Publication date
1993
Publisher
American Mathematical Society United States
Number of pages
153
Condition
New
SKU
V9780821845769
ISBN
9780821845769
Hardback
Condition: New

€ 167.79
€ 149.47

Paperback. The first English edition of a well-known Russian monograph. This book presents the method of difference potentials first proposed by the author in 1969, and contains illustrative examples and new algorithms for solving applied problems of gas dynamics, diffraction, scattering theory, and active noise screening.

Translator(s): Kulman, N.K. Series: Springer Series in Computational Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCN; PBK; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 778.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 2002
Number of pages
556
Condition
New
SKU
V9783642627156
ISBN
9783642627156
Paperback
Condition: New

€ 124.97

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

€ 153.85

Paperback. Num Pages: 129 pages, XVI, 129 S. 66 Abb. BIC Classification: PBCH; PBT. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 254.
Format
Paperback
Publication date
2006
Publisher
Springer Verlag GmbH Austria
Number of pages
129
Condition
New
SKU
V9783211238776
ISBN
9783211238776
Paperback
Condition: New

€ 69.54

Paperback. Num Pages: 292 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 474.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 2000
Number of pages
292
Condition
New
SKU
V9781441949622
ISBN
9781441949622
Paperback
Condition: New

€ 188.64

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

€ 192.14

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

€ 202.36

Hardback. In opposition to the classical set theory of natural language, this monograph offers a theory based on alternative and fuzzy sets. This approach is grounded in semantics and pragmatics, and accounts for the vagueness inherent in natural language. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 204 pages, biography. BIC Classification: CF; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 1090.
Format
Hardback
Publication date
1993
Publisher
Springer Science+Business Media United States
Number of pages
204
Condition
New
SKU
V9780306442698
ISBN
9780306442698
Hardback
Condition: New

€ 126.65

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

€ 133.73

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

€ 178.28
€ 158.61

Paperback. This is a fully revised and updated second edition of the introduction to structured and unstructured grid methods in scientific computing. It formulates basic local and integral grid quality measures and reviews fresh approaches to mesh generation. Series: Scientific Computation. Num Pages: 408 pages, 48 black & white illustrations, biography. BIC Classification: PBCN; PHU; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
Format
Paperback
Publication date
2012
Publisher
Springer Netherlands
Edition
Softcover reprint of hardcover 2nd ed. 2010
Number of pages
408
Condition
New
SKU
V9789400730786
ISBN
9789400730786
Paperback
Condition: New

€ 144.60

Hardback. Series: Problem Books in Mathematics. Num Pages: 670 pages, biography. BIC Classification: PBC; PBKF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Publisher
Springer International Publishing AG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319243832
ISBN
9783319243832
Hardback
Condition: New

€ 100.68

Paperback. This volume of Vladimir Tkachuk's series covers all the major topics in Cp-theory, providing 500 selected problems and exercises as well as their complete solutions and guiding the student from basic topological principles to the frontiers of modern research. Series: Problem Books in Mathematics. Num Pages: 597 pages, biography. BIC Classification: PBC; PBKF; PBP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 908.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Edition
Softcover reprint of the original 1st ed. 2014
Number of pages
597
Condition
New
SKU
V9783319377940
ISBN
9783319377940
Paperback
Condition: New

€ 66.70

Hardcover. A Cp-Theory Problem Book Series: Problem Books in Mathematics. Num Pages: 583 pages, biography. BIC Classification: PBC; PBKF; PBP. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 36. Weight in Grams: 1016.
Format
Hardback
Publication date
2014
Publisher
Springer
Edition
2014th Edition
Condition
New
SKU
V9783319047461
ISBN
9783319047461
Hardback
Condition: New

€ 67.87

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

€ 101.37
€ 91.30

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

€ 46.99
€ 39.54

Paperback. .
Publisher
American Mathematical Society United States
Format
Paperback
Publication date
1984
Condition
New
SKU
V9780821850275
ISBN
9780821850275
Paperback
Condition: New

€ 169.01

Paperback. Series: Springer-Lehrbuch. Num Pages: 489 pages, black & white illustrations, bibliography. BIC Classification: PBC; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 765.
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
489
Condition
New
SKU
V9783540563549
ISBN
9783540563549
Paperback
Condition: New

€ 82.08

Hardback. Founded on a decade of research as well as classroom experience, this book is suitable as a graduate level text in mathematics, decision making, artificial intelligence, and engineering courses. Num Pages: 354 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 157 x 243 x 26. Weight in Grams: 674.
Format
Hardback
Publication date
1993
Publisher
Springer Science+Business Media United States
Number of pages
354
Condition
New
SKU
V9780306442605
ISBN
9780306442605
Hardback
Condition: New

€ 129.82

paperback. This exposition of generalized measure theory unfolds systematically. It begins with preliminaries and new concepts, followed by a detailed treatment of important new results regarding various types of nonadditive measures and associated integration theory. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 384 pages, black & white illustrations. BIC Classification: PBC; PBKL; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 559.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of hardcover 1st ed. 2009
Number of pages
384
Condition
New
SKU
V9781441945761
ISBN
9781441945761
Paperback
Condition: New

€ 66.12

Subscribe to our newsletter

News on special offers, signed editions & more!