|
|
libcats.org
Model TheoryChang C.C., Keisler H.J., Troelstra A.S.Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta MethodsАвтор: Ernst Hairer, Автор: Christian Lubich, Автор: Michel RocheКатегория: Lecture notes
Размер книги: 893 Kb
Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical ProblemАвтор: Amir D. AczelКатегория: science_books, math
Размер книги: 1.53 Mb
Non-Linear Elliptic Equations in Conformal GeometryАвтор: Sun-Yung Alice Chang
Размер книги: 1.77 Mb
New Perspectives on Microsoft Office 2010, First CourseАвтор: Ann Shaffer, Автор: Patrick Carey, Автор: Kathleen T. Finnegan, Автор: Katherine T. Pinard, Автор: Roy Ageloff
Размер книги: 177.41 Mb
Μαρξισμός και ΦιλοσοφίαАвтор: Καρλ Κορς (Karl Korsch), Автор: Μανόλης Λαμπρίδης-Γεράσιμος Λυκιαρδόπουλος (μετάφραση)
Размер книги: 8.77 Mb
|
|
|