This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and understanding the material and applications. Full of examples, theorems, propositions, and problems, it is suitable for graduate students in logic and mathematics, professional mathematicians, and computer scientists. Reprint of the Clarendon Press, 1983 edition.
Introduction to Logic by Alfred Tarski This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
Mathematical Logic by Stephen Cole Kleene Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Stability Theory and Its Applications to Structural Mechanics by Clive L. Dym Self-contained text focuses on Koiter postbuckling analyses, with mathematical notions of stability of motion. It develops analyses from potential energy considerations, with applications to columns, plates, and arches. 1974 edition.
