Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logique --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logique. --- Logic.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

wiskunde --- Mathematical logic --- Model theory --- Model theory. --- Théorie des modèles --- Logic, Symbolic and mathematical --- Logique mathématique --- Logic, Symbolic and mathematical. --- Logique mathématique --- Théorie des modèles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

Model theory. --- Logic, Symbolic and mathematical --- Model theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

Logic, Symbolic and mathematical. --- Mathematical logic