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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 201.86
Reuniting the Antipodes - Constructive and Nonstandard Views of the Co...
. Ed(S): Schuster, P.; Berger, Ulrich; Osswal...
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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 91.06