|
|
libcats.org
A guide to classical and modern model theoryAnnalisa Marcja, Carlo ToffaloriSince its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume + is easily accessible to young people and mathematicians unfamiliar with logic; + gives a terse historical picture of Model Theory; + introduces the latest developments in the area; + provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Основы биохимииАвтор: Авторы: А.Уайт, Автор: Ф.Хендлер, Автор: Э.Смит, Автор: Р.Хилл, Автор: И.Леман. Перевод с английского В.П.Скулачева, Автор: Э.И.Будовского, Автор: Л.М.Гинодмана Под редакцией Ю.А.Овчинникова.Категория: биология
Размер книги: 8.40 Mb
Описание устройства 152-мм самох гаубицы-пушки образца 1937-43, 122-мм самох пуш образца 1931-43Автор:
Размер книги: 8.74 Mb
Задача Коши для линейных уравнений с частными производными гиперболического типаАвтор: Адамар Ж.
Размер книги: 4.64 Mb
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies (Lecture Notes in Computer Science Lecture Notes in Bioinformatics, Volume 5945)Автор: Corrado Priami, Автор: Rainer Breitling, Автор: David Gilbert, Автор: Monika Heiner, Автор: Adelinde M. UhrmacherКатегория: Компьютеры
Размер книги: 4.22 Mb
Cooking the RealAge Way: Turn back your biological clock with more than 80 delicious and easy recipesАвтор: Michael F. Roizen, Автор: John La Puma
Размер книги: 1008 Kb
Mijn Zoon Heeft Een Sexleven En Ik LeesАвтор: Dorrestein RenateКатегория: fiction
Размер книги: 218 Kb
|
|
|