|
|
libcats.org
A Course on Mathematical LogicShashi Mohan SrivastavaThis is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability. The main prerequisite for this book is the willingness to work at a reasonable level of mathematical rigor and generality. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Physiology of CottonАвтор: James McD. Stewart, Автор: Derrick Oosterhuis, Автор: James J. Heitholt, Автор: Jack R. MauneyКатегория: Biology
Размер книги: 62.55 Mb
Сварка разнородных металловАвтор: Рабкин Д.М., Автор: Рябов В.Р., Автор: Гуревич С.М.
Размер книги: 9.69 Mb
Восковое моделирование окклюзионных поверхностей зубовАвтор: Шиллингбург Г., Автор: Уилсон Э., Автор: Моррисон Д.Категория: Медицина и здравоохранение
Размер книги: 10.24 Mb
Made to Stick: Why Some Ideas Survive and Others DieАвтор: Chip Heath, Автор: Dan Heath
Размер книги: 922 Kb
Switch: How to Change Things When Change Is HardАвтор: Chip Heath, Автор: Dan Heath
Размер книги: 4.02 Mb
Computer-mediated Relationships and Trust: Managerial and Organizational Effects (Premier Reference Source)Автор: Linda L. Brennan, Автор: Victoria E JohnsonКатегория: Компьютеры
Размер книги: 2.44 Mb
On-The-Job TrainingАвтор: John M. Barron, Автор: Mark C. Berger, Автор: Dan A. Black
Размер книги: 634 Kb
Medical Image Computing and Computer-Assisted Intervention, Part II - MICCAI 201Автор: Gabor Fichtinger, Автор: Anne Martel, Автор: Terry Peters
Размер книги: 33.24 Mb
|
|
|