Books in the Dover Books on Mathematics series

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.Dover (2013) republication of the edition published by PWS Publishing Company, Boston, 1995.See every Dover book in print atwww.doverpublications.com

This text for advanced undergraduate and graduate students presents a rigorous approach that also emphasizes applications. Encompassing more than the usual amount of material on the problems of computation with series, the treatment offers many applications, including those related to the theory of special functions. Numerous problems appear throughout the book.The first chapter introduces the elementary theory of infinite series, followed by a relatively complete exposition of the basic properties of Taylor series and Fourier series. Additional subjects include series of functions and the applications of uniform convergence; double series, changes in the order of summation, and summability; power series and real analytic functions; and additional topics in Fourier series. The text concludes with an appendix containing material on set and sequence operations and continuous functions. Dover (2014) republication of the edition originally published by Holt, Rinehart & Winston, New York, 1962.See every Dover book in print atwww.doverpublications.com

Proceeds from general to special, including chapters on vector analysis on manifolds and integration theory.

Stimulating study of how abstract methods of pure mathematics can solve problems in applied math. Solving integral equations, finding Green's function, spectral representation of ordinary differential operators, more. Problems. Bibliography.