First-order logic studies mathematical structures one can describe in a particular formal language and is suited for studying algebraic and discrete objects. Continuous logic is an extension of this logic and is better suited for studying structures in analysis. This book provides examples of how techniques from continuous logic can be used to study objects in an area of analysis known as operator algebras.
以下为对购买帮助不大的评价