Dirk Siefkes 
Decidable Theories [PDF ebook] 
Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic

The first edition of this book, popular around the world, is surpassed only by this new Second Edition. Improvements such as new and revised exercises, a broad range of practical and relevant case …

Don’t let your mathematical skills fail you! In Engineering, Construction, and Science examinations, marks are often lost through carelessness or from not properly understanding the mathematics invol …

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of …

Over the past six decades, several extremely important fields in mathematics have been developed. Among these are Itô calculus, Gaussian measures on Banach spaces, Malliavan calculus, and white noise …

In the study of the structure of substances in recent decades, phenomena in the higher dimension was discovered that was previously unknown. These include spontaneous zooming (scaling processes), …

For almost every phenomenon in physics, chemistry, biology, medicine, economics, and other sciences, one can make a mathematical model that can be regarded as a dynamical system. One-Dimensional Dyna …

Abstract Calculus: A Categorical Approach provides an abstract approach to calculus. It is intended for graduate students pursuing Ph Ds in pure mathematics but junior and senior researchers in basic …

‘Integrates and summarizes the most significant developments made by Chinese mathematicians in rings, groups, and algebras since the 1950s. Presents both survey articles and recent research results. …

This book presents a unified algebraic approach to stabilization problems of linear boundary control systems with no assumption on finite-dimensional approximations to the original systems, such as t …