libcats.org
Главная

A Course on Mathematical Logic

Обложка книги A Course on Mathematical Logic

A Course on Mathematical Logic

This 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Зло нарастает

Автор:
Категория: Ужасы и Мистика
Размер книги: 757 Kb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Representing Health

Автор: , Автор:
Размер книги: 1.52 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Conan The Buccaneer

Автор:
Размер книги: 291 Kb

The butterflies of North Asia in nature

Автор: , Автор:
Размер книги: 74.84 Mb

Flash MX Games: ActionScript for Artists

Автор:
Размер книги: 18.32 Mb

Mechanics and Control of Soft-fingered Manipulation

Автор: , Автор:
Размер книги: 7.48 Mb

Functional and Speciality Beverage Technology

Автор:
Размер книги: 5.30 Mb