Model Theory (Hardcover)

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.

General

Imprint:	Oxford UniversityPress
Country of origin:	United Kingdom
Series:	Oxford Logic Guides, 37
Release date:	April 1999
First published:	April 1999
Authors:	Maria Manzano (Profesora Titular de Logica)
Translators:	Ruy De Queiroz (Departamento de Informatica)
Dimensions:	241 x 160 x 19mm (L x W x T)
Format:	Hardcover
Pages:	264
ISBN-13:	978-0-19-853851-6
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling Promotions
LSN:	0-19-853851-0
Barcode:	9780198538516

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!