Model theory

＜図書＞
Model theory

責任表示	María Manzano ; translated by Ruy J.G.B. de Queiroz
シリーズ	Oxford logic guides ; 37
データ種別	図書
出版者	Oxford : Clarendon Press
出版年	1999
本文言語	英語
大きさ	xxiii, 239 p. ; 24 cm
概要	Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structure... and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topic and consistently points out the motivations for each new development. The proofs are also explained in detail. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	MANZ/20/1	1999		023211999006314		予約・取寄			予約・取寄