𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

✍ Scribed by Bruno Poizat

Publisher
Springer
Year
2000
Tongue
English
Leaves
471
Series
Universitext
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 models of arithmetic, and it gives complete but accessible exposition of stability theory.

πŸ“œ SIMILAR VOLUMES

A Course in Model Theory: An Introductio
πŸ“ A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
✍ 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 introducti
πŸ“ A course in model theory : an introduction to contemporary mathematical logic
✍ Bruno Poizat πŸ“‚ Library πŸ“… 2000 πŸ› Springer 🌐 English

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

Mathematical Logic: An Introduction to M
πŸ“ Mathematical Logic: An Introduction to Model Theory
✍ 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 First Course in Logic: An Introduction
πŸ“ A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
✍ Shawn Hedman πŸ“‚ Library πŸ“… 2004 πŸ› Oxford University Press 🌐 English

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classic