Fundamentals of Mathematical Logic

· CRC Press
Е-књига
894
Страница
Испуњава услове
Оцене и рецензије нису верификоване  Сазнајте више

О овој е-књизи

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.

О аутору

Peter G. Hinman earned his B.A. in mathematics from Harvard University in 1959. He studied mathematics at the graduate level in Berkeley at the University of California. In 1966, under the guidance of Professor John Addison, he received his Ph.D. in Mathematical Logic with a particular focus on Recursion Theory. He is currently a professor at the University of Michigan where he has taught since 1966 and advised seven successful Ph.D. students. In 1978 he published his first book Recursion-Theoretic Hierarchies.

Оцените ову е-књигу

Јавите нам своје мишљење.

Информације о читању

Паметни телефони и таблети
Инсталирајте апликацију Google Play књиге за Android и iPad/iPhone. Аутоматски се синхронизује са налогом и омогућава вам да читате онлајн и офлајн где год да се налазите.
Лаптопови и рачунари
Можете да слушате аудио-књиге купљене на Google Play-у помоћу веб-прегледача на рачунару.
Е-читачи и други уређаји
Да бисте читали на уређајима које користе е-мастило, као што су Kobo е-читачи, треба да преузмете фајл и пренесете га на уређај. Пратите детаљна упутства из центра за помоћ да бисте пренели фајлове у подржане е-читаче.