Computability theory originated with the seminal work of G/del, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative...

Clear prose, tight organization, and a wealth of examples and computational techniques make Basic Matrix Algebra with Algorithms and Applications an outstanding introduction to linear algebra. The author designed this treatment specifically for freshman majors in mathematical subjects and upper-level students in natural resources, the social sciences, business, or any discipline that eventually requires an understanding of linear models.
With extreme pedagogical clarity that avoids abstraction wherever possible, the author emphasizes minimal polynomials and their computation using a...