J. Barwise & S. Feferman 
Model-Theoretic Logics [PDF ebook] 

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …

The first thing you will find out about this book is that it is fun to read. It is meant for the browser, as well as for the student and for the specialist wanting to know about the area. The footnot …

This book treats the Atiyah-Singer index theorem using the heat equation, which gives a local formula for the index of any elliptic complex. Heat equation methods are also used to discuss Lefschetz …

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not …

This compendium of essential formulae, definitions, tables and general information provides the mathematical information required by engineering students, technicians, scientists and professionals in …

Partial Differential Equations: Analytical Methods and Applications covers all the basic topics of a Partial Differential Equations (PDE) course for undergraduate students or a beginners’ course for …

Problems concerning non-classical elastic solids continue to attract the attention of mathematicians, scientists and engineers. Research in this area addresses problems concerning many substances, …

‘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 …

A First Course in Ergodic Theory provides readers with an introductory course in Ergodic Theory. This textbook has been developed from the authors’ own notes on the subject, which they have been teac …

Driven by the advancement of industrial mathematics and the need for impact case studies, Inverse Problems with Applications in Science and Engineering thoroughly examines the state-of-the-art of som …