A Guide to Classical and Modern Model Theory

Marcja, Annalisa, Toffalori, Carlo

  • 出版商: Springer
  • 出版日期: 2003-06-30
  • 售價: $5,280
  • 貴賓價: 9.5$5,016
  • 語言: 英文
  • 頁數: 371
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1402013310
  • ISBN-13: 9781402013317
  • 相關分類: 邏輯設計 Logic-design
  • 海外代購書籍(需單獨結帳)

商品描述

Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.

This volume:
-is easily accessible to young people and mathematicians unfamiliar with logic;
-gives a terse historical picture of Model Theory;
-introduces the latest developments in the area;
-provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.

A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.