Mathematical foundations
Results 61 - 80 of 1202
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.77€ 149.47
€ 167.77
€ 149.47
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Paperback. 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: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642269592
- ISBN
- 9783642269592
Paperback
Condition: New
€ 65.56
€ 65.56
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
€ 66.54
€ 66.54
Hardcover. Covers groups of linear transformations, especially Fuchsian groups, fundamental domains, and functions that are invariant under the groups, including the classical elliptic modular functions and Poincare theta series. This book also covers conformal mappings, uniformization, and connections between automorphic functions. Series: AMS Chelsea Publishing. Num Pages: 333 pages. BIC Classification: PBCD; PBH; PBKD; PBKF. Category: (P) Professional & Vocational. Dimension: 234 x 158 x 23. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- American Mathematical Society
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780821837412
- ISBN
- 9780821837412
Hardback
Condition: New
€ 71.07€ 65.14
€ 71.07
€ 65.14
Paperback. Suitable for undergraduate students as well as professional mathematicians who want to finally find out what transfinite induction is and why it is always replaced by Zorn's Lemma, this text introduces the main subjects of 'naive' (nonaxiomatic) set theory: functions, cardinalities, ordered and well-ordered sets, and operations on ordinals. Series: Student Mathematical Library. Num Pages: 128 pages, bibliography, index, glossary. BIC Classification: PBCH. Category: (P) Professional & Vocational. Dimension: 216 x 141 x 7. Weight in Grams: 164.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- American Mathematical Society United States
- Number of pages
- 128
- Condition
- New
- SKU
- V9780821827314
- ISBN
- 9780821827314
Paperback
Condition: New
€ 50.04€ 46.80
€ 50.04
€ 46.80
Paperback. Tries to display the value (and joy!) of starting from a mathematically amorphous problem and combining ideas from diverse sources to produce new and significant mathematics - mathematics unforeseen from the motivating problem. This book focuses on aperiodic tilings; the best-known example is the 'kite and dart' tiling. Series: Student Mathematical Library. Num Pages: 128 pages, illustrations, references, index. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 217 x 140 x 7. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821819333
- ISBN
- 9780821819333
Paperback
Condition: New
€ 50.04€ 46.80
€ 50.04
€ 46.80
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.72
€ 156.72
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
€ 166.29
€ 166.29
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
€ 70.10
€ 70.10
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
€ 65.90
€ 65.90
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.20
€ 48.20
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
€ 124.12
€ 124.12
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
€ 128.67
€ 128.67
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
€ 123.67
€ 123.67
hardcover. Examines the philosophical foundations of intuitionism since Oscar Becker's (1927) "Mathematische Existenz". This book examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. It examines centres on the questions of the intersubjectivity of mathematics. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 14. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792356301
- ISBN
- 9780792356301
Hardback
Condition: New
€ 127.73
€ 127.73
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
€ 65.72
€ 65.72
Hardback. A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Num Pages: 394 pages, biography. BIC Classification: PBCD; TJFC. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9780792398929
- ISBN
- 9780792398929
Hardback
Condition: New
€ 131.28
€ 131.28
Paperback. Series: Progress in Theoretical Computer Science. Num Pages: 299 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 299
- Condition
- New
- SKU
- V9781461267577
- ISBN
- 9781461267577
Paperback
Condition: New
€ 113.60
€ 113.60
Paperback. Num Pages: 454 pages, 138 black & white illustrations, 1 colour illustrations, 52 black & white tables, biograp. BIC Classification: PBC; PBH; PBX. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 23. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 454
- Condition
- New
- SKU
- V9781493953417
- ISBN
- 9781493953417
Paperback
Condition: New
€ 78.41
€ 78.41
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Condition
- New
- SKU
- V9783642078996
- ISBN
- 9783642078996
Paperback
Condition: New
€ 245.70
€ 245.70