𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Mathematical logic and model theory: a brief introduction

✍ Scribed by Prestel, Alexander;Delzell, Charles N


Publisher
Springer
Year
2011
Tongue
English
Leaves
198
Series
Universitext
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


First-Order Logic.- Model Constructions.- Properties of Model Classes.- Model Theory of Several Algebraic Theories

✦ Subjects


Computer science;Mathematics;Mathematische Logik;Modelltheorie;Logic, Symbolic and mathematical;Model theory


πŸ“œ SIMILAR VOLUMES


Mathematical Logic and Model Theory: A B
✍ Alexander Prestel, Charles N. Delzell (auth.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag London 🌐 English

<p><p><i>Mathematical Logic and Model Theory: A Brief Introduction</i> offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra.</p><p>A

Mathematical Logic and Model Theory: A B
✍ Alexander Prestel, Charles N. Delzell (auth.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag London 🌐 English

<p><p><i>Mathematical Logic and Model Theory: A Brief Introduction</i> offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra.</p><p>A

Mathematical Logic: An Introduction to M
✍ A. H. Lightstone (auth.), H. B. Enderton (eds.) πŸ“‚ Library πŸ“… 1978 πŸ› Springer US 🌐 English

<p>Before his death in March, 1976, A. H. Lightstone delivered the manuΒ­ script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have

A Course in Model Theory: An Introductio
✍ Bruno Poizat πŸ“‚ Library πŸ“… 2000 πŸ› Springer 🌐 English

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the mod

A Course in Model Theory: An Introductio
✍ Bruno Poizat πŸ“‚ Library πŸ“… 2000 πŸ› Springer 🌐 English

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the mod