×


 x 

Shopping cart

Mathematical foundations

Results 201 - 220 of 268

Mathematical foundations

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

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

€ 73.22

Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
Format
Paperback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Edition
Softcover reprint of the original 1st ed. 2002
Number of pages
415
Condition
New
SKU
V9781402006081
ISBN
9781402006081
Paperback
Condition: New

€ 72.69

Hardback. Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 550.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
257
Condition
New
SKU
V9780792365440
ISBN
9780792365440
Hardback
Condition: New

€ 132.77

Paperback. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
Format
Paperback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Edition
Softcover reprint of the original 1st ed. 1997
Number of pages
444
Condition
New
SKU
V9781402003684
ISBN
9781402003684
Paperback
Condition: New

€ 73.01

Hardback. This book is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality. Informal discussion plays a key role. Series: Undergraduate Texts in Mathematics. Num Pages: 358 pages, biography. BIC Classification: PBC; PBF; PBV. Category: (P) Professional & Vocational. Dimension: 243 x 168 x 26. Weight in Grams: 712.
Publisher
Springer-Verlag New York Inc. United States
Number of pages
382
Format
Hardback
Publication date
2011
Edition
2nd ed. 2011
Condition
New
SKU
V9781441971265
ISBN
9781441971265
Hardback
Condition: New

€ 96.47

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

€ 134.32

Hardback. Rational Homotopy Theory and Differential Forms Series: Progress in Mathematics. Num Pages: 238 pages, 46 black & white illustrations, biography. BIC Classification: PBC; PBF; PBP. Category: (P) Professional & Vocational. Dimension: 243 x 158 x 18. Weight in Grams: 506.
Publisher
Birkhauser Boston Inc
Number of pages
232
Format
Hardback
Publication date
2013
Edition
2nd ed. 2013
Condition
New
SKU
V9781461484677
ISBN
9781461484677
Hardback
Condition: New

€ 183.41

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

€ 221.22

Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
Format
Hardback
Publication date
1999
Publisher
Kluwer Academic Publishers United States
Number of pages
395
Condition
New
SKU
V9780792359043
ISBN
9780792359043
Hardback
Condition: New

€ 201.86

Hardback. Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 Editor(s): Schuster, P.; Berger, Ulrich; Osswald, Horst. Series: Synthese Library. Num Pages: 329 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 664.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
329
Condition
New
SKU
V9781402001529
ISBN
9781402001529
Hardback
Condition: New

€ 200.81

Paperback. This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics Series: History of Analytic Philosophy. Num Pages: 218 pages, biography. BIC Classification: HPC; HPCF5; HPL; PBB; PBC; PBX. Category: (G) General (US: Trade). Dimension: 216 x 140 x 12. Weight in Grams: 300.
Format
Paperback
Publication date
2013
Publisher
Palgrave Macmillan United Kingdom
Edition
1st ed. 2013
Number of pages
218
Condition
New
SKU
V9781349453733
ISBN
9781349453733
Paperback
Condition: New

€ 66.95

Hardcover. This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics Series: History of Analytic Philosophy. Num Pages: 230 pages, biography. BIC Classification: HPC; HPL; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 219 x 142 x 18. Weight in Grams: 408.
Format
Hardback
Publication date
2013
Publisher
Palgrave Macmillan United Kingdom
Number of pages
224
Condition
New
SKU
V9781137302069
ISBN
9781137302069
Hardback
Condition: New

€ 67.11

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

Paperback. Schaum's Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. Series: Schaum's Outline Series. Num Pages: 224 pages, d. BIC Classification: PBCD; PDE; TBJ. Category: (U) Tertiary Education (US: College). Dimension: 272 x 204 x 12. Weight in Grams: 530.
Publisher
McGraw-Hill Education - Europe United States
Number of pages
224
Format
Paperback
Publication date
1970
Edition
First Printing
Condition
New
SKU
V9780070414600
ISBN
9780070414600
Paperback
Condition: New

€ 34.99
€ 30.07

Paperback. Schaum's Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. Series: Schaum's Outline Series. Num Pages: 240 pages, illustrations. BIC Classification: PBCH. Category: (U) Tertiary Education (US: College). Dimension: 275 x 208 x 13. Weight in Grams: 446.
Publisher
McGraw-Hill Education - Europe United States
Number of pages
240
Format
Paperback
Publication date
1998
Edition
2nd Edition
Condition
New
SKU
V9780070381599
ISBN
9780070381599
Paperback
Condition: New

€ 34.99
€ 25.52

Paperback. This volume assembles more than three dozen of Professor Knuth's pioneering contributions to discrete mathematics. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 400 pages, illustrations. BIC Classification: PBCD; PBF; PBM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 226 x 153 x 43. Weight in Grams: 1102.
Format
Paperback
Publication date
2001
Publisher
Center for the Study of Language and Inf
Number of pages
400
Condition
New
SKU
V9781575862484
ISBN
9781575862484
Paperback
Condition: New

€ 42.99
€ 33.73

Hardcover. .
Publisher
Elsevier Science & Technology United States
Number of pages
330
Format
Hardback
Publication date
1983
Edition
New ed
Condition
New
SKU
V9780444868398
ISBN
9780444868398
Hardback
Condition: New

€ 62.87

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

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

€ 91.06

Subscribe to our newsletter

News on special offers, signed editions & more!