Mathematical foundations books

Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based...  Read More >>

M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational...  Read More >>

The large scale structure of the earth is caused by geodynamic processes which are explained using energetic, kinematic...  Read More >>

The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically...  Read More >>

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015,...  Read More >>

 Read More >>

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct...  Read More >>

 Read More >>

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain...  Read More >>

Global optimization aims at solving the most general problems of deterministic mathematical programming: to find...  Read More >>

On the occasion of his 60th birthday in October 2009, friends, collaborators, and admirers of Wolfgang Dahmen have...  Read More >>

Cloud computing—accessing computing resources over the Internet—is rapidly changing the landscape of information...  Read More >>

This concise textbook will teach mathematics students the art of proving theorems. Using a simple approach, it will...  Read More >>

This is the revised and enlarged 2nd edition of the authors’ original text, which was intended to be a modest complement...  Read More >>

Nuclear engineering has undergone extensive progress over the years. Advances in areas such as high-order discretization...  Read More >>

Students See How Far a Little Math Can Take Them in Their Daily Lives Mathematics for the Liberal Arts teaches...  Read More >>

Unlike the many other textbooks on the topic of linear algebra, this book includes mathematical and computational...  Read More >>

En los últimos años el desarrollo del pensamiento espacial y geométrico ha cobrado especial relevancia en la enseñanza...  Read More >>

Introduced by the editor Sarah Whitfield, four decades of writing are brought together for the first time in this...  Read More >>

 Read More >>

Programming Finite Elements in Java™ teaches the reader how to programme the algorithms of the finite element method...  Read More >>

Designed for the reader who only uses arithmetic in daily routine, this book introduces the basic operations of...  Read More >>

This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader...  Read More >>

This book was written as a comprehensive introduction to the theory of ordinary di?erential equations with a focus...  Read More >>

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their...  Read More >>