Mathematical foundations
Results 261 - 280 of 1213
Mathematical foundations
Hardback. Shows that the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. This book is suitable as an introductory text in categorical proof theory. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9780792357209
- ISBN
- 9780792357209
Hardback
Condition: New
€ 190.87
€ 190.87
Paperback. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: HPL; PBC; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 229
- Condition
- New
- SKU
- V9789048152261
- ISBN
- 9789048152261
Paperback
Condition: New
€ 185.81
€ 185.81
Hardcover. "Cyclic Homology, 2nd Edition" includes a chapter on MacLane (co)homology, which is compared with a variant of algebraic K-theory called stable K-theory. The main tool used for this comparison is a third theory constructed from derived functors over the category of polynomial functors. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 535 pages, biography. BIC Classification: PBC; PBH; PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 929.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1997
- Edition
- 2nd
- Condition
- New
- SKU
- V9783540630746
- ISBN
- 9783540630746
Hardback
Condition: New
€ 185.74
€ 185.74
Paperback. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 516 pages, biography. BIC Classification: PBC; PBH; PBPD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- Softcover reprint of hardcover 2nd ed. 1998
- Condition
- New
- SKU
- V9783642083167
- ISBN
- 9783642083167
Paperback
Condition: New
€ 177.94
€ 177.94
Hardback. Editor(s): Andreka, Hajnal; Ferenczi, M.; Nemeti, Istvan. Series: Bolyai Society Mathematical Studies. Num Pages: 480 pages, biography. BIC Classification: PBC; PBF; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 877.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783642350245
- ISBN
- 9783642350245
Hardback
Condition: New
€ 125.25
€ 125.25
Paperback. Editor(s): Andreka, Hajnal; Ferenczi, Miklos; Nemeti, Istvan. Series: Bolyai Society Mathematical Studies. Num Pages: 480 pages, biography. BIC Classification: PBC; PBF; PBV; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783642437991
- ISBN
- 9783642437991
Paperback
Condition: New
€ 123.70
€ 123.70
Paperback. Editor(s): Wansing, Heinrich. Series: Outstanding Contributions to Logic. Num Pages: 471 pages, 6 black & white illustrations, biography. BIC Classification: HPL; PBC; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 471
- Condition
- New
- SKU
- V9783319360317
- ISBN
- 9783319360317
Paperback
Condition: New
€ 124.28
€ 124.28
Hardback. Dag Prawitz on Proofs and Meaning Editor(s): Wansing, Heinrich. Series: Outstanding Contributions to Logic. Num Pages: 471 pages, 6 black & white illustrations, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 865.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 471
- Condition
- New
- SKU
- V9783319110400
- ISBN
- 9783319110400
Hardback
Condition: New
€ 125.03
€ 125.03
Hardback. Translator(s): Junker, M. BIC Classification: PBC. Dimension: 203 x 127. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540423072
- ISBN
- 9783540423072
Hardback
Condition: New
€ 32.99€ 27.65
€ 32.99
€ 27.65
Hardcover. There are many situations in science and engineering where complex output data from a given system is used to formulate a model of how that system operates, or to simulate its response to different inputs. Applications include control, decision theory, and the emerging fields of bioinformatics. Num Pages: 296 pages, Ill. BIC Classification: PBCH; UN; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 243 x 172 x 23. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9780471416562
- ISBN
- 9780471416562
Hardback
Condition: New
€ 183.76
€ 183.76
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1...
. Ed(S): Ewald, William Bragg; Seig, Wilfried
Hardback. This book is mostly comprised of six sets of notes for lectures Hilbert gave from 1917 to 1933. The notes cover the development of modern mathematical logic, the evolution of proof theory, and the parallel emergence of Hilbert's finitist standpoint. Editor(s): Ewald, William Bragg; Seig, Wilfried. Num Pages: 1062 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 240 x 164 x 63. Weight in Grams: 1700.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1062
- Condition
- New
- SKU
- V9783540205784
- ISBN
- 9783540205784
Hardback
Condition: New
€ 280.22
€ 280.22
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.20
€ 188.20
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
€ 187.23
€ 187.23
Paperback. Series: International Series in Operations Research & Management Science. Num Pages: 210 pages, biography. BIC Classification: KJT; PBCD; PBT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 210
- Condition
- New
- SKU
- V9781461373452
- ISBN
- 9781461373452
Paperback
Condition: New
€ 185.22
€ 185.22
Paperback. Reflecting the current high level of interest in the application of the principle of mathematical induction to the solution of optimization problems, this book offers a comprehensive introduction to the field. Series: Wiley Interscience Series in Systems & Optimization. Num Pages: 204 pages, black & white illustrations. BIC Classification: PBC; PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 152 x 231 x 13. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 204
- Condition
- New
- SKU
- V9780471976493
- ISBN
- 9780471976493
Paperback
Condition: New
€ 107.16
€ 107.16
Hardcover. Reflecting the current high level of interest in the application of the principle of mathematical induction to the solution of optimization problems, this book offers a comprehensive introduction to the field. Series: Wiley Interscience Series in Systems & Optimization. Num Pages: 204 pages, black & white illustrations. BIC Classification: PBC; PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 162 x 297 x 17. Weight in Grams: 450.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 204
- Condition
- New
- SKU
- V9780471976486
- ISBN
- 9780471976486
Hardback
Condition: New
€ 254.58
€ 254.58
Paperback. Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Num Pages: 528 pages, 0. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 150 x 231 x 28. Weight in Grams: 708.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 528
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780631227137
- ISBN
- 9780631227137
Paperback
Condition: New
€ 52.60
€ 52.60
Paperback. Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on. Editor(s): Lupacchini, Rossella; Corsi, Giovanna. Num Pages: 280 pages, biography. BIC Classification: HP; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Number of pages
- 280
- Condition
- New
- SKU
- V9788847007833
- ISBN
- 9788847007833
Paperback
Condition: New
€ 122.61
€ 122.61
Hardback. Editor(s): Abramsky, Samson; Kontinen, Juha; Vaananen, Jouko; Vollmer, Heribert. Num Pages: 290 pages, 23 black & white illustrations, biography. BIC Classification: PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 602.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 290
- Condition
- New
- SKU
- V9783319318011
- ISBN
- 9783319318011
Hardback
Condition: New
€ 65.30
€ 65.30
Hardback. An introduction to simple type theory, containing 200 exercises with complete solutions. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, 23 tables 193 exercises. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 161 x 236 x 25. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 410
- Condition
- New
- SKU
- V9780521771733
- ISBN
- 9780521771733
Hardback
Condition: New
€ 164.60
€ 164.60