|
libcats.org
Главная →
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and ComplexityA First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and ComplexityShawn HedmanThe 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 classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#7
Современный русский языкВалгина Н.С., Розенталь Д.Э., Фомина М.И.Категория: НАУКА и УЧЕБА
3.16 Mb
#8
Парикмахерское искусство. Государственный образовательный стандарт среднего профессионального образования (базовый уровень)Институт проблем развития среднего профессионального образованияКатегория: Бытовое обслуживание
347 Kb
|
|