Yves Bertot & Gilles Dowek 
Theorem Proving in Higher Order Logics [PDF ebook] 
12th International Conference, TPHOLs’99, Nice, France, September 14-17, 1999, Proceedings

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

This book attempts to put together the works of a wide range of mathematical scientists. It consists of the proceedings of the Seventh Conference on ‚Nonlinear Analysis and Applications‘ including pa …

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 …

Since 1973, Galois theory has been educating undergraduate students on Galois groups and classical Galois theory. In Galois Theory, Fifth Edition , mathematician and popular science author Ian Stewar …

Thermodynamics in Materials Science, Second Edition is a clear presentation of how thermodynamic data is used to predict the behavior of a wide range of materials, a crucial component in the decision …

Stochastic Cauchy Problems in Infinite Dimensions: Generalized and Regularized Solutions presents stochastic differential equations for random processes with values in Hilbert spaces. Accessible to n …

Advanced R helps you understand how R works at a fundamental level. It is designed for R programmers who want to deepen their understanding of the language, and programmers experienced in other langu …

Finite Geometries stands out from recent textbooks about the subject of finite geometries by having a broader scope. The authors thoroughly explain how the subject of finite geometries is a central p …

Calculus of variations has a long history. Its fundamentals were laid down by icons of mathematics like Euler and Lagrange. It was once heralded as the panacea for all engineering optimization proble …

This book is based on the proceedings of the Fifth Northeast Conference on General Topology and Applications, held at The College of Staten Island – The City University of New York. It provides insig …