Mathematical foundations
Results 261 - 268 of 268
Mathematical foundations
Hardback. Examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. This book then examines the role of abstraction, analysis and axiomatization. It also raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Editor(s): Grosholz, Emily R.; Breger, Herbert. Series: Synthese Library. Num Pages: 416 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 416
- Condition
- New
- SKU
- V9780792361510
- ISBN
- 9780792361510
Hardback
Condition: New
€ 291.77
€ 291.77
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Heijmans, Henk J. A. M.; Roerdink, J...
Hardback. The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Editor(s): Heijmans, Henk J. A. M.; Roerdink, Jos B. T. M. Series: Computational Imaging and Vision. Num Pages: 452 pages, biography. BIC Classification: PBC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 452
- Condition
- New
- SKU
- V9780792351337
- ISBN
- 9780792351337
Hardback
Condition: New
€ 136.67
€ 136.67
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
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000218
- ISBN
- 9781402000218
Hardback
Condition: New
€ 133.76
€ 133.76
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger's work. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001116
- ISBN
- 9781402001116
Hardback
Condition: New
€ 133.22
€ 133.22
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 1000.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000225
- ISBN
- 9781402000225
Paperback
Condition: New
€ 131.35
€ 131.35
Hardback. Editor(s): Kahle, Reinhard; Strahm, Thomas; Studer, Thomas. Series: Progress in Computer Science and Applied Logic. Num Pages: 437 pages, 10 black & white illustrations, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 437
- Condition
- New
- SKU
- V9783319291963
- ISBN
- 9783319291963
Hardback
Condition: New
€ 129.98
€ 129.98
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 137.03
€ 137.03
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 133.28
€ 133.28
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 69.51
€ 69.51
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 70.41
€ 70.41
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 259.06
€ 259.06
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 135.41
€ 135.41
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Hardback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieter. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359586
- ISBN
- 9780792359586
Hardback
Condition: New
€ 258.33
€ 258.33
Difference Sets, Sequences, and Their Correlation Properties
. Ed(S): Pott, Alexander; Kumar, P. Vijay (Un...
Paperback. Proceedings of the NATO Advanced Study Institute on Difference Sets, Sequence and their Correlation Properties, Bad Winsheim, 2-14 August 1998 Editor(s): Pott, Alexander; Kumar, P. Vijay (University of Southern California, Los Angeles, USA); Helleseth, Tor; Jungnickel, Dieterc. Series: NATO Science Series C. Num Pages: 456 pages, 7 black & white illustrations, biography. BIC Classification: PBCH; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 23. Weight in Grams: 1430.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792359593
- ISBN
- 9780792359593
Paperback
Condition: New
€ 255.81
€ 255.81
The Law of Non-contradiction. New Philosophical Essays.
. Ed(S): Priest, Graham; Beall, J.C.; Armour-...
Paperback. Investigates the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. This volume presents a debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law. Editor(s): Priest, Graham; Beall, J.C.; Armour-Garb, Bradley. Num Pages: 400 pages, black & white illustrations. BIC Classification: CFA; HPK; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 232 x 160 x 24. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9780199204199
- ISBN
- 9780199204199
Paperback
Condition: New
€ 90.36
€ 90.36
Hardback. Comprehensively describes the deeper mathematical aspects of fuzzy sets, particularly those aspects which are category-theoretic in nature. Divided into four parts, this book contains bibliography, indices, and long chapters, which make it suitable as a text for advanced graduate students. Editor(s): Rodabaugh, Stephen Ernest; Klement, Erich Peter; Hohle, Ulrich. Series: Theory and Decision Library B. Num Pages: 398 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 398
- Condition
- New
- SKU
- V9780792315117
- ISBN
- 9780792315117
Hardback
Condition: New
€ 257.40
€ 257.40
Finite and Infinite Combinatorics in Sets and Logic
. Ed(S): Sauer, Norbert W.; Woodrow, Robert E...
Hardback. Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991 Editor(s): Sauer, Norbert W.; Woodrow, Robert E.; Sands, B. Series: NATO Science Series C. Num Pages: 470 pages, biography. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780792324225
- ISBN
- 9780792324225
Hardback
Condition: New
€ 380.27
€ 380.27
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. 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