Petr Hajek & Pavel Pudlak 
Metamathematics of First-Order Arithmetic 

This book contains expanded versions of the talks given at the conference held in honour of professor Ky Fan in California in 1985, as well as papers on nonlinear and convex analysis as contributions …

From the Preface: This book is addressed to all who are curious about the nature of mathematics and its role in society. It is neither a text book nor a specialists’ book. It consists of a number of …

This book discusses the theories, methods, and application techniques of the measurement data mathematical modeling and parameter estimation. It seeks to build a bridge between mathematical theory …

For the Movers, Shakers, and Policy Makers in Energy Engineering and Related Industries The latest version of a bestselling reference, Energy Efficiency and Renewable Energy Handbook, Second Edition …

In the last few years, biometric techniques have proven their ability to provide secure access to shared resources in various domains. Furthermore, software agents and multi-agent systems (MAS) have …

Parabola is a mathematics magazine published by UNSW, Sydney. Among other things, each issue of Parabola has contained a collection of puzzles/problems, on various mathematical topics and at a …

This book is the second in a two-volume series that introduces the field of spatial data science. It moves beyond pure data exploration to the organization of observations into meaningful groups, …