Model Theory
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
ISBN-10
0198538510
ISBN-13
9780198538516
Publisher
Oxford University Press
Imprint
Oxford University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Apr 29th, 1999
Print length
264 Pages
Weight
548 grams
Dimensions
16.60 x 24.20 x 2.30 cms
Product Classification:
Mathematical logicMathematical modellingMathematical theory of computation
Ksh 40,050.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained.
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.
Get Model Theory by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.