Model Theory - Manzano, Mariano C, and de Queiroz, Ruy J G B (Translated by)

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 ...

Model Theory 1999, OUP Oxford, Oxford, England

ISBN-13: 9780198538516