Jouko Vaananen 
Dependence Logic [PDF ebook] 
A New Approach to Independence Friendly Logic

This reference presents the proceedings of an international meeting on the occasion of the University of Bologna”s ninth centennial-highlighting the latest developments in the field ofgeometry and c …

Applications of Numerical Methods in Molecular Spectroscopy provides a mathematical background, theoretical perspective, and review of spectral data processing methods. The book discusses methods of …

This new volume shows how it is possible to further develop and essentially extend the theory of operators in infinite-dimensional vector spaces, which plays an important role in mathematics, physics …

A comprehensive overview of nonlinear H∞ control theory for both continuous-time and discrete-time systems, Nonlinear H∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as di …

This book provides a systematic development of tensor methods in statistics, beginning with the study of multivariate moments and cumulants. The effect on moment arrays and on cumulant arrays of maki …

Fads are as common in mathematics as in any other human activity, and it is always difficult to separate the enduring from the ephemeral in the achievements of one’s own time. An unfortunate effect o …

This book gives an extensive survey of many important topics in the theory of Hamilton-Jacobi equations with particular emphasis on modern approaches and viewpoints. Firstly, the basic well-posedness …

A concise treatment of the fundamentals of thermodynamics is presented in this book. In particular, emphasis is placed on discussions of the second law, a unique feature of thermodynamics, which stat …

Exploring Geometry, Second Edition promotes student engagement with the beautiful ideas of geometry. Every major concept is introduced in its historical context and connects the idea with real-life. …

The theory of geometric structures on manifolds which are locally modeled on a homogeneous space of a Lie group traces back to Charles Ehresmann in the 1930s, although many examples had been studied …