Mathematical foundations
Results 769 - 792 of 835
Mathematical foundations
Paperback. This book draws readers into the philosophy of mathematics by having them do mathematics. Coverage includes primitive recursive arithmetic, Godel's theorems, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. Includes 298 exercises. Num Pages: 213 pages, biography. BIC Classification: PBC; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319348339
- ISBN
- 9783319348339
Paperback
Condition: New
€ 63.08
€ 63.08
Paperback. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Series: Oxford Logic Guides. Num Pages: 336 pages, figures. BIC Classification: HPL; PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 156 x 19. Weight in Grams: 494.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 336
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780199237180
- ISBN
- 9780199237180
Paperback
Condition: New
€ 80.49
€ 80.49
Hardcover. Duality Theories for Boolean Algebras with Operators Series: Springer Monographs in Mathematics. Num Pages: 247 pages, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational. Dimension: 244 x 159 x 19. Weight in Grams: 510.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319067421
- ISBN
- 9783319067421
Hardback
Condition: New
€ 64.54
€ 64.54
Paperback. Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic. Editor(s): Shapiro, Stewart. Series: Oxford Handbooks. Num Pages: 832 pages, 9 line illustrations. BIC Classification: HPL; PBB; PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 247 x 176 x 54. Weight in Grams: 1472.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Oxford University Press Inc United States
- Number of pages
- 850
- Condition
- New
- SKU
- V9780195325928
- ISBN
- 9780195325928
Paperback
Condition: New
€ 81.91
€ 81.91
Paperback. Num Pages: 406 pages, 28 illustrations. BIC Classification: PBCN; PBF; PN. Category: (P) Professional & Vocational. Dimension: 216 x 140 x 21. Weight in Grams: 515.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 5. Aufl.
- Number of pages
- 406
- Condition
- New
- SKU
- V9783540237778
- ISBN
- 9783540237778
Paperback
Condition: New
€ 57.94
€ 57.94
Paperback. Serves as a textbook for invariant theory and a research monograph that introduces a different approach to the algorithmic side of invariant theory. This title includes several research ideas, hints for applications, outlines and details of algorithms, worked out examples, and research problems. Editor(s): Paule, Peter. Series: Texts and Monographs in Symbolic Computation. Num Pages: 204 pages, biography. BIC Classification: PBC; PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 171 x 11. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 2nd ed. 2008
- Number of pages
- 204
- Condition
- New
- SKU
- V9783211774168
- ISBN
- 9783211774168
Paperback
Condition: New
€ 174.61
€ 174.61
Hardback. David Makinson on Classical Methods for Non-Classical Problems Editor(s): Hansson, Sven Ove. Series: Outstanding Contributions to Logic. Num Pages: 433 pages, black & white illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 830.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 433
- Condition
- New
- SKU
- V9789400777583
- ISBN
- 9789400777583
Hardback
Condition: New
€ 188.28
€ 188.28
Paperback. Editor(s): Hansson, Sven Ove. Series: Outstanding Contributions to Logic. Num Pages: 445 pages, 16 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 445
- Condition
- New
- SKU
- V9789402406634
- ISBN
- 9789402406634
Paperback
Condition: New
€ 186.38
€ 186.38
Hardback. Series: Trends in Logic. Num Pages: 225 pages, 18 black & white illustrations, biography. BIC Classification: HPK; PBC; UN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 225
- Condition
- New
- SKU
- V9783319530604
- ISBN
- 9783319530604
Hardback
Condition: New
€ 64.71
€ 64.71
Paperback. Written for engineering students, this textbook on numerical methods stresses the typical methods that engineers use in daily practice. A chapter on design introduces problems which bring relevance to the use of this tool in engineering situations. Num Pages: 410 pages, bibliography, index. BIC Classification: PBC; PDE; TBJ. Category: (UU) Undergraduate. Dimension: 238 x 191 x 24. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471575238
- ISBN
- 9780471575238
Paperback
Condition: New
€ 280.55
€ 280.55
Hardback. The book extends the development of probability logic-a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives "not," "and," and "or" are described in depth to include quantified formulas. Also discussed is the notion of the suppositional and resolution of the paradox of confirmation. Num Pages: 126 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (G) General (US: Trade). Dimension: 239 x 162 x 14. Weight in Grams: 342.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Lehigh University Press United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9781611460100
- ISBN
- 9781611460100
Hardback
Condition: New
€ 104.61
€ 104.61
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
€ 72.46
€ 72.46
Hardcover. Suitable for set theorists, this book covers major advances in various areas of set theory. Series: Springer Monographs in Mathematics. Num Pages: 786 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 168 x 50. Weight in Grams: 1288.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540440857
- ISBN
- 9783540440857
Hardback
Condition: New
€ 243.44
€ 243.44
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Condition
- New
- SKU
- V9783642078996
- ISBN
- 9783642078996
Paperback
Condition: New
€ 241.72
€ 241.72
Hardback. .
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 250
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107044241
- ISBN
- 9781107044241
Hardback
Condition: New
€ 66.30
€ 66.30
Paperback. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: HPK; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 220
- Condition
- New
- SKU
- V9789048151875
- ISBN
- 9789048151875
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 339 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400700017
- ISBN
- 9789400700017
Hardback
Condition: New
€ 126.25
€ 126.25
Paperback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400734357
- ISBN
- 9789400734357
Paperback
Condition: New
€ 121.80
€ 121.80
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
€ 48.52
€ 48.52
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 403 pages, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 403
- Condition
- New
- SKU
- V9783642023477
- ISBN
- 9783642023477
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback / so. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; TBC; UMX; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211834879
- ISBN
- 9783211834879
Paperback
Condition: New
€ 69.03
€ 69.03
Hardback. Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. This book covers the necessary logical machinery behind the proof interpretations that are used in applications as well as - via extended case studies - carrying out some of these applications in detail. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 164 x 36. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540775324
- ISBN
- 9783540775324
Hardback
Condition: New
€ 163.75
€ 163.75
Paperback. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642096273
- ISBN
- 9783642096273
Paperback
Condition: New
€ 156.79
€ 156.79
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Hardback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642227165
- ISBN
- 9783642227165
Hardback
Condition: New
€ 65.72
€ 65.72