Mathematical foundations
Results 1021 - 1040 of 1213
Mathematical foundations
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
€ 128.37
€ 128.37
Paperback. This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational. Series: Cognitive Technologies. Num Pages: 437 pages, 12 black & white tables, biography. BIC Classification: HPL; PBCD; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642261657
- ISBN
- 9783642261657
Paperback
Condition: New
€ 187.23
€ 187.23
hardcover. A comprehensive reference on the theory of variable-length codes and their relation to automata. Series: Encyclopedia of Mathematics and Its Applications. Num Pages: 634 pages, 1 b/w illus. 30 tables 210 exercises. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 239 x 171 x 24. Weight in Grams: 1084.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Cambridge University Press United Kingdom
- Edition
- Illustrated
- Number of pages
- 634
- Condition
- New
- SKU
- V9780521888318
- ISBN
- 9780521888318
Hardback
Condition: New
€ 189.11
€ 189.11
Clifford Algebras and Their Application in Mathematical Physics
. Ed(S): Dietrich, Volker; Habetha, Klaus; Ja...
Paperback. Editor(s): Dietrich, Volker; Habetha, Klaus; Jank, Gerhard. Series: Fundamental Theories of Physics. Num Pages: 479 pages, biography. BIC Classification: PBC; PBF; PBKD; PBKJ; PBKL. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 479
- Condition
- New
- SKU
- V9789401061148
- ISBN
- 9789401061148
Paperback
Condition: New
€ 66.18
€ 66.18
Hardback. Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. Num Pages: 544 pages, 20 line illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 178 x 30. Weight in Grams: 1142.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Princeton University Press United States
- Number of pages
- 546
- Condition
- New
- SKU
- V9780691123004
- ISBN
- 9780691123004
Hardback
Condition: New
€ 87.42€ 66.50
€ 87.42
€ 66.50
Hardcover.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1995
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9780387943749
- ISBN
- 9780387943749
Hardback
Condition: New
€ 98.75
€ 98.75
Classical and New Paradigms of Computation and Their Complexity Hierar...
. Ed(S): Lowe, Benedikt; Piwinger, Boris; Ras...
Hardback. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume investigates mathematical properties of complexity hierarchies, and also discusses algorithms and computational properties. It is of interest to both mathematical logicians and theoretical computer scientists. Editor(s): Lowe, Benedikt; Piwinger, Boris; Rasch, Thoralf. Series: Trends in Logic. Num Pages: 260 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781402027758
- ISBN
- 9781402027758
Hardback
Condition: New
€ 244.27
€ 244.27
Paperback. Designed for undergraduate students of set theory, this book presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. It aims to give students a grounding to the results of set theory as well as to tackle significant problems that arise from the theory. Num Pages: 296 pages, 30 line illustrations. BIC Classification: PBCH. Category: (UU) Undergraduate. Dimension: 253 x 210 x 18. Weight in Grams: 666.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 296
- Format
- Paperback
- Publication date
- 1996
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780412606106
- ISBN
- 9780412606106
Paperback
Condition: New
€ 102.19
€ 102.19
Paperback. This volume surveys the development of combinatorics since 1930 by presenting in chronological order the fundamental results of the subject proved in over five decades of original papers. Editor(s): Gessel, Ira; Rota, Gian-Carlo. Series: Modern Birkhauser Classics. Num Pages: 492 pages, 10 black & white illustrations, 10 black & white tables, biography. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 706.
- Publisher
- Birkhäuser
- Format
- Paperback
- Publication date
- 2008
- Edition
- Reprint of the 1987 ed.
- Condition
- New
- SKU
- V9780817648411
- ISBN
- 9780817648411
Paperback
Condition: New
€ 71.23
€ 71.23
Paperback. Provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. This title delves into arguments originating in Nori's work that have been further developed by others. Series: Annals of Mathematics Studies. Num Pages: 176 pages. BIC Classification: PBCH; PBG; PBPD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 158 x 11. Weight in Grams: 304.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691160511
- ISBN
- 9780691160511
Paperback
Condition: New
€ 107.17
€ 107.17
Hardback. Provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. This title delves into arguments originating in Nori's work that have been further developed by others. Series: Annals of Mathematics Studies. Num Pages: 176 pages. BIC Classification: PBCH; PBG; PBPD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 15. Weight in Grams: 428.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691160504
- ISBN
- 9780691160504
Hardback
Condition: New
€ 194.66€ 144.22
€ 194.66
€ 144.22
Paperback. This volume contains the papers presented at a conference on cellular automata. Cellular automata are used in several fields, including the simulation of different kinds of dynamical systems, machine vision, parallel computation, and the theoretical analysis of complex dynamics. Editor(s): Bandini, Steffania; Serra, Roberto; Liverani, Furio Suggi. Num Pages: 283 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 283
- Condition
- New
- SKU
- V9781852330484
- ISBN
- 9781852330484
Paperback
Condition: New
€ 122.75
€ 122.75
Hardback. Cellular automata can be viewed both as computational models and modeling systems of real processes. This book covers massive parallel algorithms (firing squad, life, Fischer's primes recognition). It also surveys their computational power and the specific complexity classes they determine. Editor(s): Delorme, M.; Mazoyer, J. Series: Mathematics and its Applications. Num Pages: 374 pages, biography. BIC Classification: PBCD; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9780792354932
- ISBN
- 9780792354932
Hardback
Condition: New
€ 193.61
€ 193.61
Paperback. Editor(s): El Yacoubi, Samira; Was, Jaroslaw; Bandini, Stefania. Series: Lecture Notes in Computer Science. Num Pages: 491 pages, 208 black & white illustrations, biography. BIC Classification: PBCD; UGK; UMB; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 491
- Condition
- New
- SKU
- V9783319443645
- ISBN
- 9783319443645
Paperback
Condition: New
€ 65.78
€ 65.78
hardcover. Series: Synthese Library. Num Pages: 184 pages, 55 black & white illustrations, biography. BIC Classification: PBCD; PBT; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 456.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 184
- Condition
- New
- SKU
- V9783319499079
- ISBN
- 9783319499079
Hardback
Condition: New
€ 112.23
€ 112.23
Paperback. Num Pages: 272 pages. BIC Classification: PBCD; PBF. Category: (G) General (US: Trade). Dimension: 156 x 333 x 18. Weight in Grams: 378.
- Publisher
- Dover Publications Inc.
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780486809038
- ISBN
- 9780486809038
Paperback
Condition: New
€ 38.99€ 25.33
€ 38.99
€ 25.33
Paperback. The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science. Editor(s): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540544951
- ISBN
- 9783540544951
Paperback
Condition: New
€ 67.53
€ 67.53
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
€ 74.49
€ 74.49
hardcover. Series: North-Holland Mathematical Library. Num Pages: 293 pages, 1. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 610.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 293
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780444703682
- ISBN
- 9780444703682
Hardback
Condition: New
€ 61.81
€ 61.81
Hardcover. Describes the concepts of category, functor, natural transformation, and duality. This book focuses on adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. Series: Graduate Texts in Mathematics. Num Pages: 317 pages, 1, black & white illustrations. BIC Classification: PBC; PBF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 246 x 164 x 24. Weight in Grams: 652.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 329
- Format
- Hardback
- Publication date
- 1998
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780387984032
- ISBN
- 9780387984032
Hardback
Condition: New
€ 59.44€ 56.40
€ 59.44
€ 56.40