

Beschreibung
Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric. Applications have grown considerably in the past decade. This book is dedicated to showing how the technique...