This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.
The book will provide powerful resource for all researchers using Mathematics as well as for mathematicians themselves. In the time when over-specialization and terminology fences isolate researchers, this Dictionary try to be "centripedal" and "oikoumeni," providing some access and altitude of vision but without taking the route of scientific vulgarisation. This attempted balance is the main philosophy of this Dictionary which defined its structure and style.
Key features:
- Unicity: it is the first book treating the basic notion of Distance in whole generality.
- Interdisciplinarity: this Dictionary is larger in scope than majority of thematic dictionaries.
- Encyclopedicity: while an Encyclopedia of Distances seems now too difficult to produce, this book (by its scope, short introductions and organization) provides the main material for it and for future tutorials on some parts of this material.
- Applicability: the distances, as well as distance-related notions and paradigms, are provided in ready-to-use fashion.
- Worthiness: the need and urgency for such dictionary was great in several huge areas, esp. Information Retrieval, Image Analysis, Speech Recognition and Biology.
- Accessibility: the definitions are easy to locate by subject or, in Index, by alphabetic order; the introductions and definitions are reader-friendly and maximally independent one from another; still the text is structured, in the 3D HTML style, by hyperlink-like boldfaced references to similar definitions.
* Covers a large range of subjects in pure and applied mathematics
* Designed to be easily applied--the distances and distance-related notions and paradigms are ready to use
* Helps users quickly locate definitions by subject or in alphabetical order; stand-alone entries include references to other entries and sources for further investigation

Engineering Ethics is the application of philosophical and moral systems to the proper judgment and behavior by engineers in conducting their work, including the products and systems they design and the consulting services they provide. In light of the work environment that inspired the new Sarbanes/Oxley federal legislation on whistle-blowing protections, a clear understanding of Engineering Ethics is needed like never before.
Beginning with a concise overview of various approaches to engineering ethics, the real heart of the book will be some 13 detailed case studies, delving into the history behind each one, the official outcome and the real story behind what happened. Using a consistent format and organization for each one giving background, historical summary, news media effects, outcome and interpretation--these case histories will be used to clearly illustrate the ethics issues at play and what should or should not have been done by the engineers, scientists and managers involved in each instance.
* Covers importance and practical benefits of systematic ethical behavior in any engineering work environment.
* Only book to explain implications of the Sarbanes/Oxley "Whistle-Blowing" federal legislation
* 13 actual case histories, plus 10 additional "anonymous" case histories-in consistent format-will clearly demonstrate the relevance of ethics in the outcomes of each one
* Offers actual investigative reports, with evidentiary material, legal proceedings, outcome and follow-up analysis
* Appendix offers copies of the National Society of Professional Engineers Code of Ethics for Engineers and the Institute of Electrical and Electronic Engineers Code of Ethics"

The ability of a structural assembly to carry loads and forces determines how stable it will be over time. Viewing structural assemblages as comprising columns, beams, arches, rings, and plates, this book will introduce the student to both a classical and advanced understanding of the mechanical behavior of such structural systems under load and how modeling the resulting strains can predict the overall future performance the stability of that structure. While covering traditional beam theory, the book is more focused on elastica theory in keeping with modern approaches. This text will be an expanded and updated version a similar, previously published book, but with pedagogical improvements and updated analytical methods.
This engineering textbook will provide a focused treatment on the study of how structures behave and perform when under stress loading, including plastic deformation and buckling. All advanced engineering students studying engineering mechanics, structural analysis and design, fatigue and failure, and other related subjects need to have this knowledge, and this book will provide it in a thorough and coherent fashion. Written by two of the world s leading engineering professors in this subject area, the pedagogy has been classroom-tested over many years and should find a receptive readership among both students and instructors.

* An understandable introduction to the theory of structural stability, useful for a wide variety of engineering disciplines, including mechanical, civil and aerospace engineering
* Covers both static and dynamic loads, for both conservative and nonconservative systems
* Emphasizes elastic behavior under loads, including vertical buckling, torsional buckling and nonlinear affects of structural system buckling and stability
* Case examples to illustrate real-world applications of Stability Theory"

This monograph provides the most recent and up-to-date developments on fractional differential and fractional integro-differential equations involving many different potentially useful operators of fractional calculus.
The subject of fractional calculus and its applications (that is, calculus of integrals and derivatives of any arbitrary real or complex order) has gained considerable popularity and importance during the past three decades or so, due mainly to its demonstrated applications in numerous seemingly diverse and widespread fields of science and engineering.
Some of the areas of present-day applications of fractional models include Fluid Flow, Solute Transport or Dynamical Processes in Self-Similar and Porous Structures, Diffusive Transport akin to Diffusion, Material Viscoelastic Theory, Electromagnetic Theory, Dynamics of Earthquakes, Control Theory of Dynamical Systems, Optics and Signal Processing, Bio-Sciences, Economics, Geology, Astrophysics, Probability and Statistics, Chemical Physics, and so on.
In the above-mentioned areas, there are phenomena with estrange kinetics which have a microscopic complex behaviour, and their macroscopic dynamics can not be characterized by classical derivative models.
The fractional modelling is an emergent tool which use fractional differential equations including derivatives of fractional order, that is, we can speak about a derivative of order 1/3, or square root of 2, and so on. Some of such fractional models can have solutions which are non-differentiable but continuous functions, such as Weierstrass type functions. Such kinds of properties are, obviously, impossible for the ordinary models.
What are the useful properties of these fractional operators which help in the modelling of so many anomalous processes? From the point of view of the authors and from known experimental results, most of the processes associated with complex systems have non-local dynamics involving long-memory in time, and the fractional integral and fractional derivative operators do have some of those characteristics.
This book is written primarily for the graduate students and researchers in many different disciplines in the mathematical, physical, engineering and so many others sciences, who are interested not only in learning about the various mathematical tools and techniques used in the theory and widespread applications of fractional differential equations, but also in further investigations which emerge naturally from (or which are motivated substantially by) the physical situations modelled mathematically in the book.
This monograph consists of a total of eight chapters and a very extensive bibliography. The main objective of it is to complement the contents of the other books dedicated to the study and the applications of fractional differential equations. The aim of the book is to present, in a systematic manner, results including the existence and uniqueness of solutions for the Cauchy type problems involving nonlinear ordinary fractional differential equations, explicit solutions of linear differential equations and of the corresponding initial-value problems through different methods, closed-form solutions of ordinary and partial differential equations, and a theory of the so-called sequential linear fractional differential equations including a generalization of the classical Frobenius method, and also to include an interesting set of applications of the developed theory.
Key features:
- It is mainly application oriented.
- It contains a complete theory of Fractional Differential Equations.
- It can be used as a postgraduate-level textbook in many different disciplines within science and engineering.
- It contains an up-to-date bibliography.
- It provides problems and directions for further investigations.
- Fractional Modelling is an emergent tool with demonstrated applications in numerous seemingly diverse and widespread fields of science and engineering.
- It contains many examples.
- and so on

It has widely been recognized that submodular functions play essential roles in efficiently solvable combinatorial optimization problems. Since the publication of the 1st edition of this book fifteen years ago, submodular functions have been showing further increasing importance in optimization, combinatorics, discrete mathematics, algorithmic computer science, and algorithmic economics, and there have been made remarkable developments of theory and algorithms in submodular functions. The 2nd edition of the book supplements the 1st edition with a lot of remarks and with new two chapters: "Submodular Function Minimization" and "Discrete Convex Analysis." The present 2nd edition is still a unique book on submodular functions, which is essential to students and researchers interested in combinatorial optimization, discrete mathematics, and discrete algorithms in the fields of mathematics, operations research, computer science, and economics.

Key features:

- Self-contained exposition of the theory of submodular functions.
- Selected up-to-date materials substantial to future developments.
- Polyhedral description of Discrete Convex Analysis.
- Full description of submodular function minimization algorithms.
- Effective insertion of figures.
- Useful in applied mathematics, operations research, computer science, and economics.
- Self-contained exposition of the theory of submodular functions.
- Selected up-to-date materials substantial to future developments.
- Polyhedral description of Discrete Convex Analysis.
- Full description of submodular function minimization algorithms.
- Effective insertion of figures.
- Useful in applied mathematics, operations research, computer science, and economics.

This book contains around 80 articles on major writings in mathematics published between 1640 and 1940. All aspects of mathematics are covered: pure and applied, probability and statistics, foundations and philosophy. Sometimes two writings from the same period and the same subject are taken together. The biography of the author(s) is recorded, and the circumstances of the preparation of the writing are given. When the writing is of some lengths an analytical table of its contents is supplied. The contents of the writing is reviewed, and its impact described, at least for the immediate decades. Each article ends with a bibliography of primary and secondary items.
.First book of its kind
.Covers the period 1640-1940 of massive development in mathematics
.Describes many of the main writings of mathematics
.Articles written by specialists in their field

An in-depth look at real analysis and its applications, including an introduction to wavelet
analysis, a popular topic in "applied real analysis." This text makes a very natural connection between the classic pure analysis and the applied topics, including measure theory, Lebesgue Integral,
harmonic analysis and wavelet theory with many associated applications.
*The text is relatively elementary at the start, but the level of difficulty steadily increases
*The book contains many clear, detailed examples, case studies and exercises
*Many real world applications relating to measure theory and pure analysis
*Introduction to wavelet analysis

The text is for a two semester course in advanced calculus. It develops the basic ideas of calculus rigorously but with an eye to showing how mathematics connects with other areas of science and engineering. In particular, effective numerical computation is developed as an important aspect of mathematical analysis.
* Maintains a rigorous presentation of the main ideas of advanced calculus, interspersed with applications that show how to analyze real problems
* Includes a wide range of examples and exercises drawn from mechanics, biology, chemical engineering and economics
* Describes links to numerical analysis and provides opportunities for computation; some MATLAB
codes are available on the author's webpage
* Enhanced by an informal and lively writing style

Science and engineering students depend heavily on concepts of mathematical modeling. In an age where almost everything is done on a computer, author Clive Dym believes that students need to understand and "own" the underlying mathematics that computers are doing on their behalf. His goal for Principles of Mathematical Modeling, Second Edition, is to engage the student reader in developing a foundational understanding of the subject that will serve them well into their careers.
The first half of the book begins with a clearly defined set of modeling principles, and then introduces a set of foundational tools including dimensional analysis, scaling techniques, and approximation and validation techniques. The second half demonstrates the latest applications for these tools to a broad variety of subjects, including exponential growth and decay in fields ranging from biology to economics, traffic flow, free and forced vibration of mechanical and other systems, and optimization problems in biology, structures, and social decision making.
Prospective students should have already completed courses in elementary algebra, trigonometry, and first-year calculus and have some familiarity with differential equations and basic physics.

* Serves as an introductory text on the development and application of mathematical models
* Focuses on techniques of particular interest to engineers, scientists, and others who model continuous systems
* Offers more than 360 problems, providing ample opportunities for practice
* Covers a wide range of interdisciplinary topics--from engineering to economics to the sciences
* Uses straightforward language and explanations that make modeling easy to understand and apply
New to this Edition:
* A more systematic approach to mathematical modeling, outlining ten specific principles
* Expanded and reorganized chapters that flow in an increasing level of complexity
* Several new problems and updated applications
* Expanded figure captions that provide more information
* Improved accessibility and flexibility for teaching

The book contains seven survey papers about ordinary differential equations.
The common feature of all papers consists in the fact that nonlinear equations are focused on. This reflects the situation in modern mathematical modelling - nonlinear mathematical models are more realistic and describe the real world problems more accurately. The implications are that new methods and approaches have to be looked for, developed and adopted in order to understand and solve nonlinear ordinary differential equations.
The purpose of this volume is to inform the mathematical community and also other scientists interested in and using the mathematical apparatus of ordinary differential equations, about some of these methods and possible applications.

The book could be a good companion for any graduate student in partial differential equations or in applied mathematics. Each chapter brings indeed new ideas and new techniques which can be used in these fields. The differents chapters can be read independently and are of great pedagogical value. The advanced researcher will find along the book the most recent achievements in various fields.
.Independent chapters
.Most recent advances in each fields
.Hight didactic quality
.Self contained
.Excellence of the contributors
.Wide range of topics

This is the unique book on cross-fertilisations between stream ciphers and number theory. It systematically and comprehensively covers known connections between the two areas that are available only in research papers. Some parts of this book consist of new research results that are not available elsewhere. In addition to exercises, over thirty research problems are presented in this book. In this revised edition almost every chapter was updated, and some chapters were completely rewritten. It is useful as a textbook for a graduate course on the subject, as well as a reference book for researchers in related fields.
.Unique book on interactions of stream ciphers and number theory.
.Research monograph with many results not available elsewhere.
.A revised edition with the most recent advances in this subject.
.Over thirty research problems for stimulating interactions between the two areas.
.Written by leading researchers in stream ciphers and number theory.

The present work is a continuation of the authors' acclaimed multi-volume A
Practical Logic of Cognitive Systems. After having investigated the notion of
relevance in their previous volume, Gabbay and Woods now turn to abduction. In
this highly original approach, abduction is construed as ignorance-preserving
inference, in which conjecture plays a pivotal role. Abduction is a response to a
cognitive target that cannot be hit on the basis of what the agent currently knows.
The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain of enquiry in which the original abduction problem has arisen.

The coverage of the book is extensive, from the philosophy of science to
computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt.

Underlying their analysis of abductive reasoning is the authors' conception of
practical agency. In this approach, practical agency is dominantly a matter of the
comparativemodesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target.

The Reach of Abduction will be necessary reading for researchers, graduate
students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas.

Key features:

- Reach of Abduction is fully integrated with a background logic of cognitive systems.

- The most extensive coverage compared to competitive works.

- Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

- Demonstrates the satisficing rather than maximizing character of
abduction.

- The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.
- Reach of Abduction is fully integrated with a background logic of cognitive systems.
- The most extensive coverage compared to competitive works
- Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.
- Demonstrates the satisficing rather than maximizing character of
abduction.
- The development of formal models of abduction isconsiderably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

One of the most frequently occurring types of optimization problems involves decision variables which have to take integer values. From a practical point of view, such problems occur in countless areas of management, engineering, administration, etc., and include such problems as location of plants or warehouses, scheduling of aircraft, cutting raw materials to prescribed dimensions, design of computer chips, increasing reliability or capacity of networks, etc. This is the class of problems known in the professional literature as "discrete optimization" problems. While these problems are of enormous applicability, they present many challenges from a computational point of view. This volume is an update on the impressive progress achieved by mathematicians, operations researchers, and computer scientists in solving discrete optimization problems of very large sizes. The surveys in this volume present a comprehensive overview of the state of the art in discrete optimization and are written by the most prominent researchers from all over the world.

This volume describes the tremendous progress in discrete optimization achieved in the last 20 years since the publication of Discrete Optimization '77, Annals of Discrete Mathematics, volumes 4 and 5, 1979 (Elsevier). It contains surveys of the state of the art written by the most prominent researchers in the field from all over the world, and covers topics like neighborhood search techniques, lift and project for mixed 0-1 programming, pseudo-Boolean optimization, scheduling and assignment problems, production planning, location, bin packing, cutting planes, vehicle routing, and applications to graph theory, mechanics, chip design, etc.

Key features:
state of the art surveys
comprehensiveness
prominent authors
theoretical, computational and applied aspects.

This book is a reprint of "Discrete Applied Mathematics" Volume 23, Numbers 1-3
"

The book provides the reader with the different types of functional equations that s/he can find in practice, showing, step by step, how they can be solved.
A general methodology for solving functional equations is provided in Chapter 2. The different types of functional equations are described and solved in Chapters 3 to 8. Many examples, coming from different fields, as geometry, science, engineering, economics, probability, statistics, etc, help the reader to change his/her mind in order to state problems as functional equations as an alternative to differential equations, and to state new problems in terms of functional equations or systems.
An interesting feature of the book is that it deals with functional networks, a powerful generalization of neural networks that allows solving many practical problems. The second part of the book, Chapters 9 to 13, is devoted to the applications of this important paradigm.
The book contains many examples and end of chapter exercises, that facilitates the understanding of the concepts and applications.
- A general methodology for solving functional equations is provided in Chapter 2.
- It deals with functional networks, a powerful generalization of neural networks.
- Many examples, coming from different fields, as geometry, science, engineering, economics, probability, statistics, etc, illustrate the concept of functional equation.
- Functional equations are presented as a powerful alternative to differential equations.
- The book contains end of chapter exercises.

The Haifa 2000 Workshop on "Inherently Parallel Algorithms for Feasibility and Optimization and their Applications" brought together top scientists in this area. The objective of the Workshop was to discuss, analyze and compare the latest developments in this fast growing field of applied mathematics and to identify topics of research which are of special interest for industrial applications and for further theoretical study.

Inherently parallel algorithms, that is, computational methods which are, by their mathematical nature, parallel, have been studied in various contexts for more than fifty years. However, it was only during the last decade that they have mostly proved their practical usefulness because new generations of computers made their implementation possible in order to solve complex feasibility and optimization problems involving huge amounts of data via parallel processing. These led to an accumulation of computational experience and theoretical information and opened new and challenging questions concerning the behavior of inherently parallel algorithms for feasibility and optimization, their convergence in new environments and in circumstances in which they were not considered before their stability and reliability. Several research groups all over the world focused on these questions and it was the general feeling among scientists involved in this effort that the time has come to survey the latest progress and convey a perspective for further development and concerted scientific investigations. Thus, the editors of this volume, with the support of the Israeli Academy for Sciences and Humanities, took the initiative of organizing a Workshop intended to bring together the leading scientists in the field. The current volume is the Proceedings of the Workshop representing the discussions, debates and communications that took place. Having all that information collected in a single book will provide mathematicians and engineers interested in the theoretical and practical aspects of the inherently parallel algorithms for feasibility and optimization with a tool for determining when, where and which algorithms in this class are fit for solving specific problems, how reliable they are, how they behave and how efficient they were in previous applications. Such a tool will allow software creators to choose ways of better implementing these methods by learning from existing experience.

The geometry of power exponents includes the Newton polyhedron, normal cones of its faces, power and logarithmic transformations. On the basis of the geometry universal algorithms for simplifications of systems of nonlinear equations (algebraic, ordinary differential and partial differential) were developed.
The algorithms form a new calculus which allows to make local and asymptotical analysis of solutions to those systems.
The efficiency of the calculus is demonstrated with regard to several complicated problems from Robotics, Celestial Mechanics, Hydrodynamics and Thermodynamics. The calculus also gives classical results obtained earlier intuitively and is an alternative to Algebraic Geometry, Differential Algebra, Lie group Analysis and Nonstandard Analysis.

The Handbook of Mathematical Fluid Dynamics is a compendium of essays that provides a survey of the major topics in the subject. Each article traces developments, surveys the results of the past decade, discusses the current state of knowledge and presents major future directions and open problems. Extensive bibliographic material is provided. The book is intended to be useful both to experts in the field and to mathematicians and other scientists who wish to learn about or begin research in mathematical fluid dynamics. The Handbook illuminates an exciting subject that involves rigorous mathematical theory applied to an important physical problem, namely the motion of fluids.

This is the first book that can be considered a textbook on thin film science, complete with exercises at the end of each chapter. Ohring has contributed many highly regarded reference books to the AP list, including Reliability and Failure of Electronic Materials and the Engineering Science of Thin Films. The knowledge base is intended for science and engineering students in advanced undergraduate or first-year graduate level courses on thin films and scientists and engineers who are entering or require an overview of the field.
Since 1992, when the book was first published, the field of thin films has expanded tremendously, especially with regard to technological applications. The second edition will bring the book up-to-date with regard to these advances. Most chapters have been greatly updated, and several new chapters have been added.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

The book is devoted to universality problems.
A new approach to these problems is given using some specific spaces. Since the construction of these specific spaces is set-theoretical, the given theory can be applied to different topics of Topology such as:
universal mappings, dimension theory, action of groups, inverse spectra, isometrical embeddings, and so on.
.Universal spaces
.Universal mappings
.Dimension theory
.Actions of groups
.Isometric Universal Spaces

This book provides a comprehensive exposition of the use of set-theoretic methods in abelian group theory, module theory, and homological algebra, including applications to Whitehead's Problem, the structure of Ext and the existence of almost-free modules over non-perfect rings. This second edition is completely revised and udated to include major developments in the decade since the first edition. Among these are applications to cotorsion theories and covers, including a proof of the Flat Cover Conjecture, as well as the use of Shelah's pcf theory to constuct almost free groups. As with the first edition, the book is largely self-contained, and designed to be accessible to both graduate students and researchers in both algebra and logic. They will find there an introduction to powerful techniques which they may find useful in their own work.

"Difference Equations, Second Edition," presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to many subfields of mathematics.

* Phase plane analysis for systems of two linear equations
* Use of equations of variation to approximate solutions
* Fundamental matrices and Floquet theory for periodic systems
* LaSalle invariance theorem
* Additional applications: secant line method, Bison problem, juvenile-adult population model, probability theory
* Appendix on the use of "Mathematica" for analyzing difference equaitons
* Exponential generating functions
* Many new examples and exercises

The book contains a unitary and systematic presentation of both classical and very recent parts of a fundamental branch of functional analysis: linear semigroup theory with main emphasis on examples and applications. There are several specialized, but quite interesting, topics which didn't find their place into a monograph till now, mainly because they are very new. So, the book, although containing the main parts of the classical theory of Co-semigroups, as the Hille-Yosida theory, includes also several very new results, as for instance those referring to various classes of semigroups such as equicontinuous, compact, differentiable, or analytic, as well as to some nonstandard types of partial differential equations, i.e. elliptic and parabolic systems with dynamic boundary conditions, and linear or semilinear differential equations with distributed (time, spatial) measures. Moreover, some finite-dimensional-like methods for certain semilinear pseudo-parabolic, or hyperbolic equations are also disscussed. Among the most interesting applications covered are not only the standard ones concerning the Laplace equation subject to either Dirichlet, or Neumann boundary conditions, or the Wave, or Klein-Gordon equations, but also those referring to the Maxwell equations, the equations of Linear Thermoelasticity, the equations of Linear Viscoelasticity, to list only a few. Moreover, each chapter contains a set of various problems, all of them completely solved and explained in a special section at the end of the book.

The book is primarily addressed to graduate students and researchers in the field, but it would be of interest for both physicists and engineers. It should be emphasised that it is almost self-contained, requiring only a basic course in Functional Analysis and Partial Differential Equations.

Volume II of "Classical Recursion Theory" describes the universe from a local (bottom-up
or synthetical) point of view, and covers the whole spectrum, from the
recursive to the arithmetical sets.
The first half of the book provides a detailed picture of the computable
sets from the perspective of Theoretical Computer Science. Besides giving a
detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity
classes, ranging from small time and space bounds to the elementary functions,
with a particular attention to polynomial time and space computability. It also
deals with primitive recursive functions and larger classes, which are of
interest to the proof theorist.
The second half of the book starts with the classical theory of recursively
enumerable sets and degrees, which constitutes the core of Recursion or
Computability Theory. Unlike other texts, usually confined to the Turing
degrees, the book covers a variety of other strong reducibilities, studying
both their individual structures and their mutual relationships. The last
chapters extend the theory to limit sets and arithmetical sets. The volume
ends with the first textbook treatment of the enumeration degrees, which
admit a number of applications from algebra to the Lambda Calculus.
The book is a valuable source of information for anyone interested in
Complexity and Computability Theory. The student will appreciate the detailed
but informal account of a wide variety of basic topics, while the specialist
will find a wealth of material sketched in exercises and asides. A massive
bibliography of more than a thousand titles completes the treatment on the
historical side.