.png){kind=logo}
Mathematical foundations
Results 1081 - 1100 of 1148
Mathematical foundations
Paperback. There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Num Pages: 256 pages. BIC Classification: HPCF; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 17. Weight in Grams: 384.
- Publisher
- John Wiley and Sons Ltd
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781405197670
- ISBN
- 9781405197670
Paperback
Condition: New
€ 36.22
€ 36.22
Hardback. There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Num Pages: 256 pages, Illustrations. BIC Classification: HPCF; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 159 x 24. Weight in Grams: 516.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 256
- Condition
- New
- SKU
- V9781405197663
- ISBN
- 9781405197663
Hardback
Condition: New
€ 111.41
€ 111.41
Paperback. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: PBC; PBU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 320
- Condition
- New
- SKU
- V9789048164400
- ISBN
- 9789048164400
Paperback
Condition: New
€ 128.29
€ 128.29
Paperback. Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. It presents relevance logic with applications. Num Pages: 344 pages, 7 line illus. 10 tables. BIC Classification: HPL; PBCD; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 252 x 178 x 21. Weight in Grams: 728.
- Publisher
- Princeton University Press United States
- Number of pages
- 352
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780691160443
- ISBN
- 9780691160443
Paperback
Condition: New
€ 59.45€ 46.96
€ 59.45
€ 46.96
Paperback. Num Pages: 284 pages, biography. BIC Classification: HPC; PBC; PBX; PDX; PDZ. Category: (G) General (US: Trade). Dimension: 246 x 170 x 21. Weight in Grams: 524.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2011
- Edition
- Softcover reprint of the original 1st ed. 1987
- Condition
- New
- SKU
- V9781461253969
- ISBN
- 9781461253969
Paperback
Condition: New
€ 117.12
€ 117.12
Paperback. In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of Forever Undecided-continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. Num Pages: 256 pages. BIC Classification: PBCD; WDK. Category: (G) General (US: Trade). Dimension: 196 x 130 x 16. Weight in Grams: 190.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2000
- Condition
- New
- SKU
- V9780192801425
- ISBN
- 9780192801425
Paperback
Condition: New
€ 17.99€ 14.29
€ 17.99
€ 14.29
Paperback. Combinatorial group theory is a loosely defined subject, with close connections to topology and logic. The objective of combinatorial group theory is the systematic development of algebraic techniques to settle such questions. This title features notes that deals with many topics in combinatorial group theory. Series: Lectures in Mathematics. ETH Zurich. Num Pages: 178 pages, biography. BIC Classification: PBC; PBG; PBPD; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 9. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 178
- Condition
- New
- SKU
- V9783764329211
- ISBN
- 9783764329211
Paperback
Condition: New
€ 67.81
€ 67.81
Hardback. Focuses on the restoration of Poincare duality on stratified singular spaces by using Verdier-self-dual sheaves such as the prototypical intersection chain sheaf on a complex variety. This book provides proofs of decomposition theorems for self-dual sheaves and an explanation of methods for computing twisted characteristic classes. Series: Springer Monographs in Mathematics. Num Pages: 276 pages, 14 black & white illustrations, 7 black & white tables, biography. BIC Classification: PBC; PBK; PBMP. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 166 x 21. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540385851
- ISBN
- 9783540385851
Hardback
Condition: New
€ 133.08
€ 133.08
Hardback. Toward Predicate Approaches to Modality Series: Trends in Logic. Num Pages: 198 pages, biography. BIC Classification: 2AB; CFD; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 467.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 198
- Condition
- New
- SKU
- V9783319225562
- ISBN
- 9783319225562
Hardback
Condition: New
€ 116.71
€ 116.71
Paperback. Series: Studies in Universal Logic. Num Pages: 195 pages, 9 black & white illustrations, biography. BIC Classification: PBCD; PBH; PBMW. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 11. Weight in Grams: 341.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Switzerland
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319220864
- ISBN
- 9783319220864
Paperback
Condition: New
€ 66.06
€ 66.06
Paperback. Statistical convergence has been explored in numerous contexts such as fuzzy logic theory. Here, the authors approach the subject by approximating a function by linear operators, focusing on situations in which the classical limit is not effective. Series: Intelligent Systems Reference Library. Num Pages: 252 pages, biography. BIC Classification: PBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642268175
- ISBN
- 9783642268175
Paperback
Condition: New
€ 127.73
€ 127.73
Hardback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 344
- Condition
- New
- SKU
- V9781402090837
- ISBN
- 9781402090837
Hardback
Condition: New
€ 200.98
€ 200.98
Paperback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 194.77
€ 194.77
Hardback. Editor(s): Akama, Seiki. Series: Intelligent Systems Reference Library. Num Pages: 250 pages, 43 black & white illustrations, 9 colour illustrations, biography. BIC Classification: HPL; PBC; UM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 543.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 250
- Condition
- New
- SKU
- V9783319404172
- ISBN
- 9783319404172
Hardback
Condition: New
€ 128.24
€ 128.24
Paperback. This book introduces the mathematical methods of theoretical and experimental quantum field theory, emphasizing coordinate-free presentations of the objects in play. Offers examples of classical field theories, discusses renormalization methods and more. Series: Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics. Num Pages: 503 pages, 76 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBPD; PHQ; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 503
- Condition
- New
- SKU
- V9783319374857
- ISBN
- 9783319374857
Paperback
Condition: New
€ 228.93
€ 228.93
Hardback. Transaction Processing Series: Data-Centric Systems and Applications. Num Pages: 407 pages, 64 black & white illustrations, biography. BIC Classification: PBCD; UMB; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 771.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 407
- Condition
- New
- SKU
- V9783319122915
- ISBN
- 9783319122915
Hardback
Condition: New
€ 96.52
€ 96.52
Paperback. This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools. Editor(s): Jensen, Kurt. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 292 pages, biography. BIC Classification: PBCD; UGK; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642048548
- ISBN
- 9783642048548
Paperback
Condition: New
€ 67.00
€ 67.00
Hardcover. Transform theory and methods are useful to many professionals from various mathematical backgrounds. This introduction to the theory and practice of continuous and discrete transforms integrates knowledge from many branches of mathematics. Series: Wiley-Interscience and Canadian Mathematics Series of Monographs and Texts. Num Pages: 332 pages, Illustrations. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 166 x 25. Weight in Grams: 656.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 332
- Condition
- New
- SKU
- V9780471008101
- ISBN
- 9780471008101
Hardback
Condition: New
€ 235.00
€ 235.00
Transient/Dynamic Analysis and Constitutive Laws for Engineering Mater...
. Ed(S): Pande, Gyan N.; Middleton, J.
paperback. Proceedings of the International Conference on Numerical Methods in Engineering: Theory and Applications, NUMETA '87, 6-10 July, 1987; Volume 2 Editor(s): Pande, Gyan N.; Middleton, J. Num Pages: 790 pages, biography. BIC Classification: PBC; PBCN; TBC. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 40. Weight in Grams: 1168.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 790
- Condition
- New
- SKU
- V9789401081351
- ISBN
- 9789401081351
Paperback
Condition: New
€ 254.14
€ 254.14
Hardback. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400717350
- ISBN
- 9789400717350
Hardback
Condition: New
€ 183.32
€ 183.32