People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. There has been a need for some time for a monograph on the metamathematics of first-order arithmetic. The aim of the book by Hajek and Pudlak is to cover some of the most important...

Proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Godel's Legacy', held in 1996.

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

This book provides an assessment of the evolution and dynamics of regional innovation systems and the economic and social impact of resulting knowledge spillovers, presenting comparative case studies on the regions of several Central and Eastern European (CEE) countries (Czech Republic, Poland, Hungary, Slovakia, Lithuania and Estonia).

It analyses regional innovation systems (RIS) on the basis of several dimensions, such as absorption capacity and intellectual capital, and using several methods (data envelopment analysis, fuzzy cognitive maps, weighted sum approach).

...