Название: Mathematical Logic, 3rd Edition Автор: Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang Издательство: Springer Год: 2021 Формат: True PDF Страниц: 305 Размер: 10 Mb Язык: English
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fra?ss?'s characterization of elementary equivalence, Lindstr?m's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Philosophical and Mathematical Logic Название: Philosophical and Mathematical Logic Автор: Harrie de Swart Издательство: Springer Год: 2018 Страниц: 539 Формат: PDF Размер: 10 Mb Язык:...
A Friendly Introduction to Mathematical Logic Название: A Friendly Introduction to Mathematical Logic Автор: Christopher C. Leary Издательство: The University of Oslo Год: 2015 Формат: pdf...
A Concise Introduction to Logic Название: A Concise Introduction to Logic Автор: Craig DeLancey Издательство: Open SUNY Textbooks Год: 2017 Формат: pdf Страниц: 223 Размер: 2,1...
Introduction to Logic and Critical Thinking Название: Introduction to Logic and Critical Thinking Автор: Matthew J. Van Cleave Издательство: Autoedici?n Год: 2017 Формат: pdf Страниц: 242...
Logic Pro X Power! The Comprehensive Guide Название: Logic Pro X Power! The Comprehensive Guide Автор: Kevin Anker and Orren Merton Издательство: Cengage Learning PTR Год: 2014 Формат: PDF...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Mathematical Logic, 3rd Edition 
